Year | DOI | Venue |
---|---|---|
2003 | 10.1142/S0129054103001947 | Int. J. Found. Comput. Sci. |
Keywords | Field | DocType |
software verification | Functional verification,Programming language,Intelligent verification,Computer science,Compiler correctness,Runtime verification,Verification,Compiler,Compiler construction,High-level verification | Journal |
Volume | Issue | Citations |
14 | 4 | 7 |
PageRank | References | Authors |
0.54 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Axel Dold | 1 | 65 | 8.44 |
Friedrich W. Von Henke | 2 | 425 | 49.05 |
Wolfgang Goerigk | 3 | 40 | 7.17 |