Synthesis-Based Loose Programming.

Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen

Browse the full QUATIC paper archive.