Specifying Selected Parts of the Java API Using Dynamic Frames

Typ:	Studienarbeit
Datum:	2010
Betreuer:	Prof. P. H. Schmitt Benjamin Weiß
Bearbeiter:	Daniel Peters