Stepwise Refinement and Verification in Box-Structured Systems.

Harlan D. Mills

Published in: Computer (1988)

Keyphrases

learning systems
computer systems
complex systems
expert systems
management system
formal methods