Elvira Albert
2 published titles
Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642381966
- Springer
- 2013
- Details
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319101804
- Springer
- 2014
- Details
