International Symposium of Formal Methods Europe (15th 2008 Turku, Finland)
Books by International Symposium of Formal Methods Europe (15th 2008 Turku, Finland) on BookTides.