Authors: Cordes, Sven
Daniluk, Damian
Eisenberg, Dominik
Elmrabti, Achour
Kaczmarczyk, Roman
Porsche, Britta
Projektgruppe 437
Rädisch, Tim
Samet, Abdelouahab
Sghouri, Said
Steinfort, Sebastian
Title: OOPCC
Other Titles: Object-Oriented Proof-Carrying Code
Language (ISO): de
URI: http://hdl.handle.net/2003/21405
http://dx.doi.org/10.17877/DE290R-12864
Issue Date: 2005-02-09
Publisher: Universität Dortmund, Fachbereich Informatik
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



All resources in the repository are protected by copyright.