Navegar

Colección

Datos Estadísticas

Lista de

9th International Symposium on Formal Aspects of Component Software, FACS 2012
1
2013
1
"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91