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{Fekete:1993:RAP,
author = "Alan Fekete",
title = "Reasoning about programs: integrating verification and
analysis of algorithms into the introductory
programming course",
journal = j-SIGCSE,
volume = "25",
number = "1",
pages = "198--202",
month = mar,
year = "1993",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/169073.169410",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:20 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
- Fekete, Alan,
26(2)9,
27(1)273,
28(1)93,
28(1)295
- integrating,
22(1)268,
22(2)11,
23(1)184,
23(1)205,
24(1)38,
24(4)35,
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(1)271,
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
- reasoning,
22(2)2,
22(2)30,
26(1)36,
27(1)307,
29(1)355,
29(2)35,
29(4)57,
29(4)62,
30(1)1,
31(1)105,
31(1)136,
31(4)32
- verification,
22(1)254,
23(1)119,
25(4)13,
28(3)51,
31(3)123