Luigia Petre
2 published titles
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540437037
- Springer
- 2002
- Details
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642386138
- Springer
- 2013
- Details
