SIGDA Ph.D. Forum at the Design Automation Conference

Barbara Jobstmann (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Property synthesis
Period25 Jul 2006
Held atSIGDA Ph.D. Forum at the Design Automation Conference
Event typeConference