1
Web Services and Formal Methods [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
Other Personal Name(s): “...Laneve, Cosimo...”

Full text 
Favorites
Saved in:
2
Theoretical Computer Science [E-Book] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
Other Personal Name(s): “...Laneve, Cosimo....”

Full text 
Favorites
Saved in:

Narrow Search Results