Volume 42, Issue 2-4
April 2009Special Issue: Operating System Verification / Guest Edited by Gerwin Klein, Ralf Huuck and Bastian Schlich
8 articles in this issue
Special Issue: Operating System Verification / Guest Edited by Gerwin Klein, Ralf Huuck and Bastian Schlich