Fifth International Conference on Integrated Formal Methods
29 November - 2 December 2005 in Eindhoven, The Netherlands
Sponsors
|
Formal Methods Europe |
|
Formal Aspects of Computing Science |
|
NWO |
|
IPA |
