Currently a post-doc researcher at the FMT group at University of Twente.
M. Huisman & Raúl E. Monti - Teaching Design by Contract using Snap! - ICSE-JSEET-SEENG 2021 [pdf].