Alberto Pardo
3 published titles
Software engineering and formal methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642246890
- Springer
- 2011
- Details
LATIN 2014 : theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783642544224
- Springer
- 2014
- Details
Programming languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319240114
- Springer
- 2015
- Details