Entry Wichmann:1989:EFM from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
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{Wichmann:1989:EFM,
author = "B. Wichmann",
title = "Editorial --- Formal Methods in Computing",
journal = j-COMP-J,
volume = "32",
number = "5",
pages = "385--385",
month = "????",
year = "1989",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/32.5.385",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:27 MST 2012",
bibsource = "http://comjnl.oxfordjournals.org/content/32/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib",
URL = "http://comjnl.oxfordjournals.org/content/32/5/385.full.pdf+html",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- computing,
23(1)85,
23(4)324,
23(4)347,
23(4)353,
24(1)52,
24(1)96,
24(2)162,
24(2)167,
25(1)22,
25(2)188,
25(2)207,
25(2)287,
25(3)338,
25(3)397,
26(2)187,
26(2)187,
26(3)224,
26(4)296,
27(1)8,
27(2)97,
27(3)193,
28(2)117,
28(3)243,
28(5)498,
29(2)161,
29(3)229,
29(4)348,
29(4)373,
30(1)20,
30(2)110,
30(3)193,
30(3)258,
30(3)268,
30(3)277,
30(3)282,
30(4)298,
30(5)413,
30(5)420,
30(5)437,
31(1)12,
31(2)175,
31(2)182,
31(3)201,
31(4)364,
31(6)567,
32(3)281,
32(4)362,
32(4)370,
32(5)437,
32(5)453
- editorial,
23(1)2,
24(1)1-1,
25(1)1,
27(1)1,
30(5)385,
32(2)97,
32(3)193,
32(4)289,
32(6)481
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)112,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)416,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)510,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)142,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)305,
32(4)374,
32(4)377,
32(5)432,
32(6)563