Journal of Automated Reasoning (JAR), Volume 42

Volume 42, Number 1, January 2009

Volume 42, Numbers 2-4, April 2009

Operating System Verification
a service of Schloss Dagstuhl - Leibniz Center for Informatics