%0 Book
%T FM 2005: Formal methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; proceedings
%A FM 13 2005 Newcastle-upon-Tyne
%A Fitzgerald, John
%I Springer
%@ 3540278826
%@ 9783540278825
%K Computer software Development Congresses
%K Formal methods (Computer science) Congresses
%K System design Congresses
%K Konferenzschrift 2005 Newcastle-upon-Tyne
%K Konferenzschrift
%K Formale Methode
%K Softwareentwicklung
%K Systementwicklung
%K Softwaretest
%K Programmanalyse
%K Programmverifikation
%K Model Checking
%K Software
%K Testen
%D 2005
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation