Introducing the Boogie methodology to USDL

Research topic:	Program Verification
Type:	Studienarbeit
Date:	2011-03-02
Supervisor:	Prof. Peter H. Schmitt Mattias Ulbrich
Author:	Timm Felden