Ivan Lanese
2 published titles
Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783662446010
- Springer
- 2014
- Details
Formal aspects of component software : 11th international symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319153162
- Springer
- 2015
- Details
