Logik und Formale Methoden

Introducing the Boogie methodology to USDL