C. Tinelli
2 published titles
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642243639
- Springer
- 2011
- Details
Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783662466803
- Springer
- 2015
- Details
