Name
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-74591-4_1 | TPHOLs |
Keywords | Field | DocType |
formal method,theorem prover,chip,operating system,software development | Programming language,Software analytics,Computer science,Theoretical computer science,Software system,Formal specification,Software,Backporting,Formal methods,System requirements,Formal verification | Conference |
Volume | ISSN | ISBN |
4732 | 0302-9743 | 3-540-74590-4 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Constance L. Heitmeyer | 1 | 898 | 151.71 |