Lessons of Teaching Formal Methods with Isabelle
- Frederik Krogsdal Jacobsen
- , Jørgen Villadsen
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
206
Downloads (Orbit)