Teaching Design by Contract using Snap!

Marieke Huisman, Raul E. Monti

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

Search results

  • 2022

    Teaching Design by Contract Using Snap!

    Huisman, M. & Monti, R. E., 2022, The Logic of Software: A Tasting Menu of Formal Methods. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Springer, p. 243–263 21 p. (Lecture Notes in Computer Science; vol. 13360).

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

    Open Access
    File
    33 Downloads (Pure)
  • 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)