Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-88479-8_33 | Communications in Computer and Information Science |
Keywords | Field | DocType |
best practice,formal method | Best practice,Computer science,Technology transfer,Knowledge management,Formal methods,Management science | Conference |
Volume | ISSN | Citations |
17 | 1865-0929 | 0 |
PageRank | References | Authors |
0.34 | 8 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael G. Hinchey | 1 | 697 | 91.11 |