Seminarraum Gödel, Institutsgebäude (Favoritenstr. 9-11) - EG, Zugang vom Innenhof

We survey the mathematical foundation of the method and some of its recent characteristic applications in software engineering.