Title | ||
---|---|---|
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings |
Year | Venue | Keywords |
---|---|---|
1993 | FME | formal method |
Field | DocType | Volume |
Model checking,Programming language,Software engineering,Refinement calculus,Computer science,Concurrency,Formal specification,Refinement,Formal methods,Abstract machine,Formal verification | Conference | 670 |
ISBN | Citations | PageRank |
isbn | 40 | 12.20 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Woodcock | 1 | 534 | 77.08 |
Peter Gorm Larsen | 2 | 1015 | 99.82 |