Haifa Verification Conference

  • Georg Hofferek (Speaker)

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

Description

Talk: Suraq - A Controller Synthesis Tool using Uninterpreted Functions
Period20 Nov 2014
Event titleHaifa Verification Conference
Event typeConference
LocationHaifa, IsraelShow on map