Journal of Automated Reasoning (JAR), Volume 41
Volume 41, Number 1, July 2008
, Sandrine Blazy
: Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.
Volume 41, Number 2, August 2008
: Differential Dynamic Logic for Hybrid Systems.
Volume 41, Numbers 3-4, November 2008
Formal Modeling and Verification of Critical Systems