FM 2011: 17th International Symposium of Formal Methods

Venue: Limerick

Location: Limerick, Ireland

Event Date/Time: Jun 20, 2011 End Date/Time: Jun 20, 2011
Paper Submission Date: Jan 10, 2011
Report as Spam


FM 2011 is the seventeenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.