Full metadata record
DC FieldValueLanguage
dc.contributor.advisorPadawitz, Peterde
dc.contributor.advisorWagner, Hubertde
dc.contributor.authorCordes, Svende
dc.contributor.authorDaniluk, Damiande
dc.contributor.authorEisenberg, Dominikde
dc.contributor.authorElmrabti, Achourde
dc.contributor.authorKaczmarczyk, Romande
dc.contributor.authorPorsche, Brittade
dc.contributor.authorProjektgruppe 437de
dc.contributor.authorRädisch, Timde
dc.contributor.authorSamet, Abdelouahabde
dc.contributor.authorSghouri, Saidde
dc.contributor.authorSteinfort, Sebastiande
dc.date.accessioned2005-05-31T11:02:20Z-
dc.date.available2005-05-31T11:02:20Z-
dc.date.created2004de
dc.date.issued2005-02-09de
dc.identifier.urihttp://hdl.handle.net/2003/21405-
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-12864-
dc.format.extent5348297 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isodede
dc.publisherUniversität Dortmund, Fachbereich Informatikde
dc.subject.ddc004de
dc.titleOOPCCde
dc.title.alternativeObject-Oriented Proof-Carrying Codede
dc.typeTextde
dc.type.publicationtypeStudyThesis-
dcterms.accessRightsopen access-
Appears in Collections:Projektgruppenberichte

Files in This Item:
File Description SizeFormat 
pg437.eb.pdfDNB5.22 MBAdobe PDFView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org