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

The Taub Faculty of Computer Science Events and Talks

Static Specification Mining Using Automata-Based Abstractions
event speaker icon
Eran Yahav
event date icon
Tuesday, 19.02.2008, 14:30
event location icon
Room 337-8 Taub Bld.