Back to Teaching
CISC/CMPE 223
Software Specifications
Formal methods for software specification and verification.
Winter 2024, Fall 2024, Fall 2025
Queen's University
Articles
No articles available for this course yet.
“ধীরে ধীরে রাত বাড়তে লাগলো। চাঁদ হেলে পড়লো পশ্চিমে। উঠোনের ছায়া দীর্ঘ থেকে দীর্ঘতর হলো। পরীর দীঘির পারে একটা রাতজাগা পাখির পাখা ঝাপটানোর আওয়াজ শোনা গেলো। রাত বাড়ছে। হাজার বছরের পুরনো সেই রাত।”— হাজার বছর ধরে, জহির রায়হান