Building Verification Tool for Concurrent Programs
Master Project
of Alexandru Turcu
Building Verification Tool for Concurrent Programs
Student: Alexandru Turcu
Supervisor(s): Soham Chakraborty