María Alpuente
2 published titles
Formal methods for industrial critical systems
(Contributor)
1 edition
- ISBN: 9783642045691
- Springer
- 2009
- Details
Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642205507
- Springer
- 2011
- Details
