Categorical foundations for structured specifications in Z.

Pablo F. Castro Nazareno Aguirre Carlos López Pombo T. S. E. Maibaum

Published in: Formal Aspects Comput. (2015)

Keyphrases

artificial intelligence
categorical data
high level
structured learning
database systems
structured data
delay insensitive
specification language
numerical values