Pages that link to "Item:Q1611715"
From MaRDI portal
The following pages link to Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings (Q1611715):
Displaying 4 items.
- Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings (Q433855) (← links)
- FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Q1310273) (← links)
- Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4--7, 2004. Proceedings. (Q1884195) (← links)
- Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings (Q2402686) (← links)