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...
Full description
Bibliographic Details
| Corporate Authors: |
FME 2003 Pisa, Italy,
SpringerLink (Online service) |
|---|
| Other Authors: |
Araki, KeijirÅ, 1954-,
Gnesi, Stefania, 1954-,
Mandrioli, Dino |
|---|
| 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
|
|---|