Pekka Pihlajasaari
2 published titles
Theoretical Aspects of Computing : ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642232824
- Springer
- 2011
- Details
FM 2014 : formal methods : 19th international symposium Singapore, May 12-16, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319064093
- Springer
- 2014
- Details
