Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-35743-5_2 | FACS |
Field | DocType | Citations |
Programming language,Model checking,Uninterpreted function,Computer science,Correctness,Abstract state machines | Conference | 5 |
PageRank | References | Authors |
0.52 | 14 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Rushby | 1 | 2459 | 235.69 |