Michele Mazzucchi
According to our database1,
Michele Mazzucchi
authored at least 3 papers
between 2009 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
0
1
2
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009