项目作者： vladkinoman
项目描述 ：
Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
高级语言： Pascal
项目地址: git://github.com/vladkinoman/formal-methods.git
Assignments for the Theory of Programming(3rd year)/Methods of Program Verification and Optimization(5th year) course.
Maybe in the future I will continue to study this topic :)
