Merkliste 
 1 Ergebnisse 
 
1

Categorical foundations for structured specifications in Z:

Castro, Pablo Francisco ; Aguirre, Nazareno Matias ; Lopez Pombo, Carlos Gustavo.
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00165-015-0336-0.  ,