Name
Year | Venue | Keywords |
|---|---|---|
1997 | J. Inf. Sci. Eng. | formal specification |
Field | DocType | Volume |
Programming language,Computer science,Formal specification,Refinement,Formal methods,Object-oriented analysis and design,Formal verification,Distributed computing | Journal | 13 |
Issue | Citations | PageRank |
4 | 1 | 0.36 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jonathan Lee | 1 | 18 | 3.42 |
| jianni pan | 2 | 107 | 4.17 |
| wei t huang | 3 | 22 | 6.65 |