Peter Csaba Ölveczky
3 published titles
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642357428
- Springer
- 2012
- Details
Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319054155
- Springer
- 2014
- Details
Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday
(Contributor)
1 edition
- ISBN: 9783319231648
- Springer
- 2015
- Details
