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

Events

Static Specification Mining Using Automata-Based Abstractions
event speaker icon
Eran Yahav
event date icon
Tuesday, 19.2.2008, 14:30
event location icon
Room 337-8 Taub Bld.
[Back to the index of events]