Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 (Q106336986)
Jump to navigation
Jump to search
academic conference
- 9th IFM 2012: Pisa, Italy
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 |
academic conference |
|
Statements
IFM 2012 (English)
1 reference
Integrated Formal Methods - 9th International Conference (English)
1 reference
1 reference
1 reference
18 June 2012
1 reference
21 June 2012
1 reference