Contract-Based Verification of Hierarchical Systems of Components.

Sophie Quinton Susanne Graf

Published in: SEFM (2008)

Keyphrases

building blocks
software components
management system
computer systems
databases
artificial intelligence
multimedia
website
multi agent