%0 Generic
%T Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
%A Gheyi, Rohit
%A Naumann, David
%I Springer
%@ 9783642332968
%K Logic design
%K Information Systems
%K Computer Science
%K Formal methods (Computer science) Congresses
%K Computer science
%K Software engineering
%K Machine theory.
%K Compilers (Computer programs).
%K Electronic data processing
%K Konferenzschrift 2012 Natal, Rio Grande do Norte
%K Konferenzschrift
%K Formale Methode
%K Verifikation
%K Softwaretest
%K Modellgetriebene Entwicklung
%K Fehlertoleranz
%D 2012
%X Literaturangaben
%C Springer
%C Berlin, Heidelberg
Download citation