Formal Methods for Software Engineering

This website is a part of the Formal Methods for Software Engineering course at the Bauhaus-Universität Weimar. Currently, this website offers the following resources: