International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)

1 books in the database