OOPCC

dc.contributor.advisor	Padawitz, Peter	de
dc.contributor.advisor	Wagner, Hubert	de
dc.contributor.author	Cordes, Sven	de
dc.contributor.author	Daniluk, Damian	de
dc.contributor.author	Eisenberg, Dominik	de
dc.contributor.author	Elmrabti, Achour	de
dc.contributor.author	Kaczmarczyk, Roman	de
dc.contributor.author	Porsche, Britta	de
dc.contributor.author	Projektgruppe 437	de
dc.contributor.author	Rädisch, Tim	de
dc.contributor.author	Samet, Abdelouahab	de
dc.contributor.author	Sghouri, Said	de
dc.contributor.author	Steinfort, Sebastian	de
dc.date.accessioned	2005-05-31T11:02:20Z
dc.date.available	2005-05-31T11:02:20Z
dc.date.created	2004	de
dc.date.issued	2005-02-09	de
dc.format.extent	5348297 bytes
dc.format.mimetype	application/pdf
dc.identifier.uri	http://hdl.handle.net/2003/21405
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-12864
dc.language.iso	de	de
dc.publisher	Universität Dortmund, Fachbereich Informatik	de
dc.subject.ddc	004	de
dc.title	OOPCC	de
dc.title.alternative	Object-Oriented Proof-Carrying Code	de
dc.type	Text	de
dc.type.publicationtype	StudyThesis
dcterms.accessRights	open access

Files

Now showing 1 - 1 of 1