Volume 43, Issue 1 | Acta Informatica

Search all Acta Informatica articles

Volume 43, Issue 1

June 2006

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
Klaus Indermark
Thomas Noll
Original Article 03 June 2006 Pages: 1 - 43
Compositional Analysis of C/C++ Programs with VeriSoft
Juergen Dingel
Original Article 03 June 2006 Pages: 45 - 71