Static analysis of textual models
Proceedings:
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Year of publication: 2016
Type: Conference paper