Entry Blum:1994:PRC from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 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 |
Y |
Z
BibTeX entry
@InProceedings{Blum:1994:PRC,
author = "M. Blum and H. Wasserman",
title = "Program result-checking: a theory of testing meets a
test of theory",
crossref = "Goldwasser:1994:P",
pages = "382--392",
year = "1994",
bibdate = "Thu Apr 5 06:13:51 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Blum, M.,
0(0)90,
0(0)406
- meet,
2(0)708
- program,
0(0)60,
0(0)254,
0(0)258,
0(0)271,
0(0)309,
0(0)322,
0(0)544,
0(0)674,
1(0)26,
1(0)327,
2(0)652
- test,
0(0)406
- testing,
0(0)202,
0(0)258,
0(0)339,
0(0)422,
0(0)426,
0(0)432,
0(0)656
- theory,
0(0)xi--824,
0(0)xii--638,
0(0)xiii--606,
0(0)xiii--735,
0(0)xiii--745,
0(0)xiv--668,
0(0)xiv--745,
0(0)26,
0(0)177,
0(0)224,
0(0)302,
0(0)314,
0(0)348,
0(0)401,
0(0)406,
0(0)412,
0(0)563,
0(0)616,
0(0)698,
0(0)733,
0(0)z,
1(0)125