DMCA

On Integrating Deductive Synthesis and Verification Systems (2013)

by Etienne Kneuss , Viktor Kuncak , Ivan Kuraj , Philippe Suter
Citations:3 - 3 self