I

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

1 books found