Login / Signup

A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).

Norbert HundeshagenMartin 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