Conference on Formal Methods, Turku, Finland

Formal Methods Europe has organized an international conference on formal methods to be held from May 26 to 30. This event will provide information on the latest technical innovations related to these methods and will present new formal tools.

CLEARSY will present the BART project. 

For more information on this conference, visit: fm2008.abo.fi