Navegar

Colección

Datos Estadísticas

Lista de

10th International Conference on Formal Engineering Methods, ICFEM 2008
1
2008
1
"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225