СБ |
Software Engineering and Formal Methods: Proc./11th International Conference, SEFM 2013, Madrid, Spain, September 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Hierons R. M.
- Merayo M. G.
- Bravetti M.
|
|
|
18.11.2013 |
СБ |
Web Services and Formal Methods: Revised Selected Papers/7th International Workshop, WS-FM 2010, Hoboken,NJ,USA, September 2010 |
2011 |
|
Lecture Notes in Computer Science |
- Bravetti M.
- Bultan T.
|
|
|
14.05.2011 |
СБ |
CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009 |
2009 |
|
Lecture Notes in Computer Science |
- Bravetti M.
- Zavattaro G.
|
|
|
24.03.2010 |
СБ |
Web Services and Formal Methods: Proc./Third International Workshop, WS-FM 2006. Vienna, Austria, September 2006 |
2006 |
|
Lecture Notes in Computer Science |
- Bravetti M.
- Nunez M.
- Zavattaro G.
|
|
|
20.10.2006 |
СБ |
Formal Techniques for Computer Systems and Business Processes: Proc./European Performance Engineering Workshop,EPEW 2005, Inter.Workshop WS-FM 2005. Versailles,France,September 2005 |
2005 |
|
Lecture Notes in Computer Science |
- Bravetti M.
- Kloul L.
- Zavattaro G.
|
|
|
28.10.2005 |