Home | english  | Impressum | Sitemap | KIT

Introducing the Boogie methodology to USDL

Introducing the Boogie methodology to USDL
Typ:Studienarbeit
Datum:2011-03-02
Betreuer:

Prof. Peter H. Schmitt
Mattias Ulbrich

Bearbeiter:

Timm Felden