Navegar

Colección

Datos Estadísticas

Lista de

Formal Aspects of Computing
2
2015
1
"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865