Year | DOI | Venue |
---|---|---|
1996 | 10.1145/242224.242380 | ACM Comput. Surv. |
Keywords | Field | DocType |
formal methods light,formal method | Software engineering,Computer science,Theoretical computer science,Formal specification,Formal methods | Journal |
Volume | Issue | Citations |
29 | 4 | 11 |
PageRank | References | Authors |
0.90 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cliff B. Jones | 1 | 1286 | 192.68 |
Daniel Jackson | 2 | 144 | 18.46 |
Jeannette M. Wing | 3 | 6429 | 874.60 |