Pinned Repositories
program-verification-eth
My solution for project 1 for the "Program Verification" course at ETH Zurich (ETHZ) (https://www.pm.inf.ethz.ch/education/courses/program-verification.html)
jaksicf's Repositories
jaksicf/program-verification-eth
My solution for project 1 for the "Program Verification" course at ETH Zurich (ETHZ) (https://www.pm.inf.ethz.ch/education/courses/program-verification.html)