Teaching Design by Contract using Snap!

Marieke Huisman, Raul E. Monti

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

82 Downloads (Pure)

2 Citations
1 Chapter
1 Working paper

1 results

Filter

2021
Teaching Design by Contract using Snap!
Huisman, M. & Monti, R. E., 12 Jul 2021, ArXiv.org.
Research output: Working paper

Open Access
File
95 Downloads (Pure)