1. The Verisoft Consortium: The Verisoft Project, http://www.verisoft.de/
2. Lecture Notes in Computer Science;I. Dalinger,2005
3. Leinenbach, D., Paul, W., Petrova, E.: Towards the formal verification of a C0 compiler: Code generation and implementation correctness. In: Proceedings of the 3rd International Conference on Software Engineering and Formal Methods (SEFM 2005). IEEE Computer Society, Los Alamitos (2005)
4. Lecture Notes in Computer Science;M. Gargano,2005
5. Hillebrand, M., In der Rieden, T., Paul, W.: Dealing with I/O devices in the context of pervasive system verification. In: Proceedings of the 23rd International Conference on Computer Design (ICCD 2005). IEEE Computer Society, Los Alamitos (2005)