Login / Signup
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).
Norbert Hundeshagen
Martin Lange
Published in:
FMTea (2021)
Keyphrases
</>
learning tools
formal methods
learning experience
formal analysis
software engineering
databases
data mining
artificial intelligence
knowledge based systems
model checking