Title
Formal Methods in Conformance Testing: Status and Expectations
Year
DOI
Venue
1992
10.1016/B978-0-444-89874-6.50025-8
PSTV
Keywords
Field
DocType
formal methods,conformance testing,formal method
Software engineering,Computer science,Conformance testing,Formal methods
Conference
Volume
ISSN
ISBN
8
0926-549X
0-444-89874-3
Citations 
PageRank 
References 
0
0.34
1
Authors
3
Name
Order
Citations
PageRank
Jean Philippe Favreau1447.16
Dieter Hogrefe250880.28
Jan Kroon3215.14