Bravetti, Mario
VIAF ID: 33102200 ( Personal )
Permalink: http://viaf.org/viaf/33102200
Preferred Forms
- 100 1 _ ‡a Bravetti, Mario
- 100 1 _ ‡a Bravetti, Mario
-
-
-
- 100 1 _ ‡a Bravetti, Mario
-
- 100 1 _ ‡a Bravetti, Mario
-
- 100 1 _ ‡a Bravetti, Mario
Works
Title | Sources |
---|---|
CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings | |
EPEW 2005 | |
Formal techniques for computer systems and business processes, c2005: | |
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings | |
Web services and formal methods : Third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings | |
WS-FM 2005 |