%0 Book
%T Formal approaches to software testing Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers
%A International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal
%A Petrenko, Alexandre
%I Springer
%@ 3540208941
%K Computer software Testing Congresses
%K Formal methods (Computer science) Congresses
%K Konferenzschrift 2003 Montréal
%K Softwaretest
%K Formale Methode
%K Hardwareentwurf
%K Softwareentwicklung
%K Korrektheit
%K Software
%K Testen
%D 2004
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation