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.

ধীরে ধীরে রাত বাড়তে লাগলো। চাঁদ হেলে পড়লো পশ্চিমে। উঠোনের ছায়া দীর্ঘ থেকে দীর্ঘতর হলো। পরীর দীঘির পারে একটা রাতজাগা পাখির পাখা ঝাপটানোর আওয়াজ শোনা গেলো। রাত বাড়ছে। হাজার বছরের পুরনো সেই রাত।
হাজার বছর ধরে, জহির রায়হান