DMCA

An Isabelle Formalization of the (2007)

by Diplomarbeit In Informatik , Martin Klebermaß , Fakultät Für Informatik , Der Technischen , Lehrstuhl Iv , Diplomarbeit In Informatik , Martin Klebermaß , Aufgabensteller Prof , Tobias Nipkow , Betreuer Prof , Peter Müller , Betreuer Dipl. -ing , Werner M. Dietl