Theory Exploration Powered by Deductive Synthesis

von Singher, Eytan
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)