Erika Ábrahám
3 published titles
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS
(Contributor)
1 edition
- ISBN: 9783642548611
- Springer
- 2014
- Details
Formal techniques for distributed objects, components, and systems : 34thIFIP WG 6.1 international conference, FORTE 2014, Held as part of the 9th international federated conference on distributed com
(Contributor)
1 edition
- ISBN: 9783662436127
- Springer
- 2014
- Details
Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783319307336
- Springer
- 2016
- Details
