"Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, ..."

Nazareno Aguirre, Leila Ribeiro (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics