Navegar

Colección

Datos Estadísticas

Lista de

Linguistics
2
"Describing and analyzing behaviours over tabular specifications using (Dyn)alloy" (2009) Aguirre, N.M.;Frias, M.F.;Moscato, M.M. (...)Wassyng, A. 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009. 5503:155-170
"Abstract processes in orchestration languages" (2009) Buscemi, M.G.; Melgratti, H. 18th European Symposium on Programming, ESOP 2009. 5502:301-315