CS 510 Formal Methods for Reliable Digital Systems
Not in the Spring 2026-2027 schedule — this is the most recent term it ran.
Lecture — CS 510
| Section | When | Where | Instructor | CRN | |
|---|---|---|---|---|---|
| 0 | Mon 14:40–15:30 Thu 11:40–13:30 |
FENS L061 | Hüsnü Yenigün | 11941 | syllabus |
CS 510 — Sabancı Üniversitesi Fall 2023-2024 ders programı: section'lar, saatler, derslikler, CRN'ler ve syllabus bağlantıları.