From Requirements to Models: Feedback Generation as a Result of Formalization.

Leonid Kof, Birgit Penzenstadler

Browse the full CaiSE paper archive.