Login / Signup
Using Domain-Independent Problems for Introducing Formal Methods.
Raymond T. Boute
Published in:
FM (2006)
Keyphrases
</>
domain independent
formal methods
domain specific
domain specific knowledge
domain dependent
control knowledge
machine learning
software engineering
general purpose
formal specification
model checking