Backtracking-free design planning by automatic synthesis in METAframe
- Tiziana Margaria
- , Bernhard Steffen
- University of Passau
- TU Dortmund University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review