FM 2008

FM 2008: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

May 26 - 30, 2008
Hotel Caribia
Turku, Finland


Organized by
Åbo Akademi University and Formal Methods Europe

Turku
Nokia Springer ForTIA