FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organ...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
2003.
|
| Series: | Lecture notes in computer science ;
2805. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
Published 2003
Conference Proceeding
Book