Year | DOI | Venue |
---|---|---|
2000 | 10.1109/HASE.2000.895446 | HASE |
Keywords | Field | DocType |
innovation management,computer science,software engineering,formal specifications,debugging,formal method | Software engineering,Computer science,Formal specification,Innovation management,Formal methods,Debugging | Conference |
Citations | PageRank | References |
5 | 0.53 | 5 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Rushby | 1 | 2459 | 235.69 |