L B · L. S. · Luis Soares Barbosa,Alberto Pardo Ana Bove · S. B
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Dynamic Logic. New Trends and Applications: Second International Workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, Proceedings | 978-3-030-38807-2 | 2020 | Luís Soares Barbosa · Alexandru Baltag |
| Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers | 978-3-642-27268-4 | 2012 | Markus Lumpe |
| Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... / Programming and Software Engineering) | 978-3-642-03152-6 | 2010 | Ana Bove · Alberto Pardo · Jorge Sousa Pinto |
| Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings | 978-3-642-33181-7 | 2012 | Francisco Heron de Carvalho Junior |