TY  - BOOK
AU  - Naftalin,Maurice
ED  - FME
TI  - Industrial benefit of formal methods: Barcelona, Spain, October 24 - 28, 1994; proceedings
T2  - Lecture notes in computer science
SN  - 0387585559
AV  - QA76.76.D47 
PY  - 1994///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
KW  - Konferenzschrift
KW  - 1994
KW  - Barcelona
KW  - gnd-content
KW  - 1992
N1  - Literaturang
UR  - https://swbplus.bsz-bw.de/bsz041968824cov.jpg
UR  - https://zbmath.org/?q=an:0802.00034
ER  -