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 |
Provenance: | Universität Dortmund, Fachbereich Informatik |
Appears in Collections: | Projektgruppenberichte |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
pg437.eb.pdf | DNB | 5.22 MB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org