Year | Venue | Keywords |
---|---|---|
1993 | TOOLS (10) | formal method,object oriented |
Field | DocType | Citations |
Object-orientation,Programming language,Computer science,Formal specification,Grammar systems theory,Object language,Refinement,Formal methods,Formal verification | Conference | 3 |
PageRank | References | Authors |
0.48 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claus Lewerentz | 1 | 665 | 64.65 |
Eduardo Casais | 2 | 123 | 26.67 |