N. Martí-Oliet
3 published titles
Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642376344
- Springer
- 2013
- Details
Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319150741
- Springer
- 2015
- 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
