FM 2003: the 12th International FME Symposium
Pisa, Italy -September 8-14, 2003
FM 2003 is sponsored by:
|
||
 Formal Methods Europe |
|
 |
 Springer Verlag |
 |
|
|
|
|
In collaboration with: |
||
|
 Center for Software Certification |
|
|
Tutorial Studentships sponsored by: |
||
|
||