Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
System design -- Mathematics -- Congresses
1 2005 FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England) Rating: Electronic Resources More...
2 2006 FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.) Rating: Electronic Resources More...
3 2008 FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland) Rating: Electronic Resources More...
4 2009 FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands) Rating: Electronic Resources More...
5 2011 FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings