The Safe Machine: A New Specification Construct for B.

Published in: World Congress on Formal Methods (1999)

Keyphrases

high level
formal specification
specification language
database
neural network
social networks
case study
three dimensional
data structure
conceptual model
formal methods