Entry Saiedian:1997:DFS from sigcse1990.bib
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{Saiedian:1997:DFS,
author = "Hossein Saiedian",
title = "Developing formal specifications via {Z} (workshop)",
journal = j-SIGCSE,
volume = "29",
number = "1",
pages = "396",
month = mar,
year = "1997",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/268085.268256",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:38 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
- developing,
22(2)52,
22(3)39,
23(4)41,
24(1)81,
24(1)197,
24(1)235,
24(1)240,
24(3)1,
24(3)51,
25(1)279,
25(3)26,
26(1)198,
26(1)268,
26(1)276,
26(1)366,
27(1)141,
27(1)159,
27(1)292,
27(1)312,
27(1)345,
28(1)47,
28(1)195,
28(1)290,
28(2)3,
28(3)2,
28(4)15,
29(1)67,
29(1)72,
29(1)189,
29(1)287,
29(1)340,
29(1)371,
29(1)390,
29(2)11,
29(2)23,
29(3)120,
30(1)1,
30(1)107,
30(1)302,
30(3)64,
30(3)105,
30(4)5,
31(1)68,
31(1)136,
31(1)301,
31(1)370,
31(2)48,
31(3)9,
31(3)29,
31(3)44,
31(3)84,
31(3)91,
31(3)189,
31(3)196,
31(3)206,
31(4)10
- 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,
28(1)271,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
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
- Saiedian, Hossein,
23(1)192,
25(1)193,
26(1)392,
31(1)346
- specification,
23(1)25,
23(3)36,
24(1)207,
25(1)189,
26(1)21,
26(1)111,
26(1)300,
26(3)22,
27(1)24,
27(1)228,
27(1)307,
27(1)312,
27(3)53,
28(1)150,
29(1)310,
29(1)315,
29(4)38,
30(1)6,
30(1)166,
30(3)37,
30(3)55,
30(3)232,
31(1)68,
31(1)100,
31(1)184,
31(3)68,
31(4)70
- workshop,
24(4)43,
27(1)340,
28(4)3,
29(1)371,
29(3)51,
29(4)42,
30(1)181,
30(1)378,
31(1)346,
31(1)360,
31(2)17,
31(3)64,
31(3)201
- Z,
27(1)312,
30(1)166