A Property-Based Proof System for Contract-Based Design.

Alessandro Cimatti Stefano Tonetta

Published in: EUROMICRO-SEAA (2012)

Keyphrases

case study
user interface
design decisions
computer aided
real world
machine learning
information retrieval
data structure
design process
user experience
embedded systems
design methodology