Formal methods
Subtitle: proceedings
By: FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.)
Contributors: FME <12, 2003, Pisa>
Series: Lecture notes in computer science -- 2805; Lecture notes in computer science -- 2805
Publisher: Springer
Published: 2003
Place of publication: Berlin; Heidelberg
Language: eng
Format: [Elektronische Ressource]
ISBN-13: 9783540452362
Subjects: Programmanalyse; Programmverifikation; Formale Methode; Softwareentwicklung; Model Checking; Testen; Systementwicklung; Software
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA