Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.

Tiziana Margaria, Bernhard Steffen

Browse the full FASE paper archive.