Year | Venue | Keywords |
---|---|---|
1989 | CSFW | database system,relational database system |
Field | DocType | Citations |
Functional verification,Programming language,Intelligent verification,Computer science,Formal specification,Verification,Formal methods,Marine engineering,Formal verification,Distributed computing | Conference | 3 |
PageRank | References | Authors |
0.55 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
R. Alan Whitehurst | 1 | 17 | 2.75 |
Teresa F. Lunt | 2 | 732 | 283.13 |