Home | deutsch  | Legals | Sitemap | KIT

Introducing the Boogie methodology to USDL

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