SIGDA Ph.D. Forum at the Design Automation Conference

  • Barbara Jobstmann (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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