Specifying Selected Parts of the Java API Using Dynamic Frames

Type:	Studienarbeit
Date:	2010
Supervisor:	Prof. P. H. Schmitt Benjamin Weiß
Author:	Daniel Peters