TY - BOOK
AU - FME 12 2003 Pisa
AU - Araki, Keijiro
TI - FME 2003: Formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings
PB - Springer
SN - 3540408282
KW - Computer software Development Congresses
KW - Formal methods Computer science Congresses
KW - System design Mathematics Congresses
KW - Formal methods (Computer science) Congresses
KW - Konferenzschrift 2003 Pisa
KW - Konferenzschrift
KW - Formale Methode
KW - Softwareentwicklung
KW - Systementwicklung
KW - Softwaretest
KW - Programmanalyse
KW - Programmverifikation
KW - Model Checking
KW - Software
KW - Testen
PY - 2003
N2 - Literaturangaben
BT - Lecture notes in computer science ; 2805
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation