Types and Invariants in the Refinement Calculus.

Carroll Morgan Trevor Vickers

Published in: Sci. Comput. Program. (1990)

Keyphrases

social networks
website
neural network
information retrieval
artificial intelligence
case study
model checking