Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1592434.1592435 | ACM Comput. Surv. |
Keywords | Field | DocType |
software verification,special issue | Functional verification,Software engineering,Intelligent verification,Computer science,Software peer review,Theoretical computer science,Verification,Software verification and validation,Software construction,Software development,Software verification | Journal |
Volume | Issue | ISSN |
41 | 4 | 0360-0300 |
Citations | PageRank | References |
2 | 0.40 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tony Hoare | 1 | 6835 | 2972.77 |
Jayadev Misra | 2 | 3147 | 771.78 |