Name
Year | Venue | Keywords |
|---|---|---|
2001 | ISQED | formal verification |
Field | DocType | Citations |
Formal equivalence checking,Functional verification,Software engineering,Intelligent verification,Computer science,Real-time computing,Verification,Formal methods,High-level verification,Formal verification,Software verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Noel R. Strader | 1 | 12 | 1.89 |
| Gérard Memmi | 2 | 144 | 47.02 |
| Carl Pixley | 3 | 418 | 44.09 |