CS Events
September 26
-
Practical Formal Methods for Mainstream Compiler Developers
Event Type: Computer Science Department Colloquium
Speaker: Prof. Santosh NagarakatteLocation: CoRE A 301
Event Date: 10:30am