iFM
International Conference on Integrated Formal Methods
-
2005
IFM 2005
- 29 November - 2 December
- Eindhoven, The Netherlands
-
Integrated Formal Methods
22 Papers
1 Volume