Synthesis from a Practical Perspective.

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

Browse the full ISoLA paper archive.