Back to Teaching
CISC/CMPE 223
Software Specifications
Formal methods for software specification and verification.
Winter 2024, Fall 2024
Queen's University
Articles
No articles available for this course yet.
“পথ চলতে যদি পিছলে পড়ি, তাহলে কি আর হাঁটব না?”— হুমায়ূন আহমেদ