Seminar: Methoden der Verifikation - Summer term 07

organiser

lecturer	Bernd Becker, Prof. Dr., Chair of Computer Architecture
organizer	Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture
	Natalia Kalinnik, Dipl.-Inf., Chair of Computer Architecture
	Stefan Kupferschmid, Dipl.-Inf., Chair of Computer Architecture
	Jochen Eisinger, Dipl.-Inf., Chair of Computer Architecture