Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People
Events

The Taub Faculty of Computer Science Events and Talks

Reasoning about Infinite-State Systems
event speaker icon
Sharon Shoham - CS-Lecture
event date icon
Sunday, 20.12.2015, 14:30
event location icon
Room 337-8 Taub Bld.