Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Sobel:1996:EIF,
author = "Ann E. Kelley Sobel",
title = "Experience integrating a formal method into a software
engineering course",
journal = j-SIGCSE,
volume = "28",
number = "1",
pages = "271--274",
month = mar,
year = "1996",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/236462.236554",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- formal,
22(4)37,
23(1)162,
23(3)11,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)155,
28(1)160,
28(1)266,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- integrating,
22(1)268,
22(2)11,
23(1)184,
23(1)205,
24(1)38,
24(4)35,
25(1)198,
25(2)29,
26(1)6,
26(1)21,
26(1)223,
26(1)407,
27(1)131,
27(1)186,
27(1)214,
27(1)312,
28(1)19,
28(1)237,
28(z)72,
28(z)93,
28(z)101,
28(z)107,
28(z)125,
28(z)130,
28(z)229,
28(z)230,
29(1)121,
29(1)233,
29(2)11,
29(2)39,
29(3)42,
30(1)140,
30(1)378,
30(3)105,
30(3)209,
30(3)264,
31(1)132,
31(4)56,
31(4)106
- Sobel, Ann E. Kelley,
31(1)350,
31(1)351,
31(2)71