On Tech, Science and Learning
Provided as part of the dependable software course taught by Martin Leucker at ISP, Lübeck in 2020
This is a programming lab that was handed out to students who were instructed in this course on both Flow Analysis and Rust.
