Name
Title | ||
|---|---|---|
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment. |
Year | Venue | DocType |
|---|---|---|
2008 | Archive of Formal Proofs | Journal |
Volume | Citations | PageRank |
2008 | 2 | 0.37 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Norbert Schirmer | 1 | 149 | 15.99 |