Works matching IS 00015903 AND DT 2006 AND VI 43 AND IP 1
Results: 2
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.
- Published in:
- Acta Informatica, 2006, v. 43, n. 1, p. 1, doi. 10.1007/s00236-006-0013-0
- By:
- Publication type:
- Article
Compositional Analysis of C/C++ Programs with VeriSoft.
- Published in:
- Acta Informatica, 2006, v. 43, n. 1, p. 45, doi. 10.1007/s00236-006-0016-x
- By:
- Publication type:
- Article