top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
   

Espandi
Riduci



Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Università degli Studi di Napoli Federico II
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings Università degli Studi di Salerno Università degli Studi di Napoli Federico II
Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings Università degli Studi di Salerno
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings Università degli Studi di Napoli Federico II
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Università degli Studi di Salerno
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings Università degli Studi di Napoli Federico II Università degli Studi di Salerno
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings Università degli Studi di Salerno
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings Università degli Studi di Salerno
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings Università degli Studi di Napoli Federico II
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings Università degli Studi di Salerno