%0
Book
%T
The VFiasco approach for a verified operating system
VFiasco project
%A Hohmuth, Michael
%A Tews, Hendrik
%I Techn. Univ., Fakultät Informatik
%K Forschungsbericht
%D 2005
%C Techn. Univ., Fakultät Informatik
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2