TY - GEN
AU - Misra, Jayadev
AU - Nipkow, Tobias
AU - Sekerinski, Emil
TI - FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540372165
KW - Logic design
KW - Information Systems
KW - Computer Science
KW - System design Mathematics Congresses
KW - Formal methods (Computer science) Congresses
KW - Computer software Development Congresses
KW - Computer science
KW - Software engineering
KW - Compilers (Computer programs).
KW - Computer programming.
KW - Machine theory.
KW - Konferenzschrift 2006 Hamilton, Ontario
KW - Formale Methode
KW - Softwareentwicklung
KW - Systementwicklung
KW - Softwaretest
KW - Programmanalyse
KW - Programmverifikation
KW - Model Checking
KW - Software
KW - Testen
PY - 2006
N2 - Literaturangaben
N2 - Lizenzpflichtig
BT - Lecture Notes in Computer Science ; 4085
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation