Ausgabe 4/2008
Inhalt (6 Artikel)
A Mechanical Analysis of Program Verification Strategies
Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Laurence Rideau, Bernard Paul Serpette, Xavier Leroy