Categorical Foundations for Structured Specifications in Z

TitleCategorical Foundations for Structured Specifications in Z
Publication TypeJournal Article
Year of Publication2015
AuthorsCastro, PF, Aguirre, N, López Pombo, CG, Maibaum, TSE
JournalFormal Aspects of Computing
Volume27
PaginationTBD
Work Package: 
WP2