Mario Bravetti

4 published titles

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill

(Contributor)

1 edition

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

(Contributor)

1 edition

Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers

(Contributor)

1 edition

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, proceedings

(Contributor)

1 edition