Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings Zhang Songmao Heftet / 2025 / Engelsk
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers Barbosa Luis Soares Heftet / 2012 / Engelsk
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings de Carvalho Junior, Francisco Heron Heftet / 2012 / Engelsk
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers Bove Ana Heftet / 2009 / Engelsk
