FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
団体著者: | |
---|---|
その他の著者: | , , |
フォーマット: | 図書 |
言語: | English |
出版事項: |
Berlin
Springer-Verlag
c1994.
|
シリーズ: | Lecture notes in computer science
873 |
主題: |