Haifa Verification Conference

Georg Hofferek (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Suraq - A Controller Synthesis Tool using Uninterpreted Functions
Period20 Nov 2014
Held atHaifa Verification Conference
Event typeConference
LocationHaifa, Israel