Listar por Materia Formal methods
Mostrando resultados 1 a 2 de 2
Fecha de publicación | Título | Autor(es) |
---|---|---|
2014 | Heterogeneous verification of model transformations | Calegari García, Daniel |
2013 | Systematic literatura review of PSP adaptations | Moreno, Silvana; Tasistro, Alvaro; Vallespir, Diego |