Title | ||
---|---|---|
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings |
Year | Venue | Keywords |
---|---|---|
2006 | formal methods | formal method |
Field | DocType | Volume |
Separation logic,Operational semantics,Programming language,Model checking,Software engineering,Security engineering,Computer science,Graph rewriting,Formal methods,Software development,Formal verification | Conference | 4085 |
ISBN | Citations | PageRank |
isbn | 44 | 6.35 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jayadev Misra | 1 | 3147 | 771.78 |
Tobias Nipkow | 2 | 3056 | 232.28 |
Emil Sekerinski | 3 | 331 | 35.63 |