Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

  • Georg Hofferek (Speaker)

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

Period21 Oct 2013
Event titleInternational Conference on Formal Methods in Computer-Aided Design
Event typeConference
LocationPortland, Oregon, United StatesShow on map