Pages that link to "Item:Q288098"
From MaRDI portal
The following pages link to Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1--5, 2016. Proceedings (Q288098):
Displaying 4 items.
- Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings (Q433855) (← links)
- Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings (Q831332) (← links)
- Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15--18, 2002. Proceedings (Q1611715) (← links)
- Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20--22, 2017. Proceedings (Q2402686) (← links)