1 books found
International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)