Autor(en): | Cordes, Sven Daniluk, Damian Eisenberg, Dominik Elmrabti, Achour Kaczmarczyk, Roman Porsche, Britta Projektgruppe 437 Rädisch, Tim Samet, Abdelouahab Sghouri, Said Steinfort, Sebastian |
Titel: | OOPCC |
Sonstige Titel: | Object-Oriented Proof-Carrying Code |
Sprache (ISO): | de |
URI: | http://hdl.handle.net/2003/21405 http://dx.doi.org/10.17877/DE290R-12864 |
Erscheinungsdatum: | 2005-02-09 |
Provinienz: | Universität Dortmund, Fachbereich Informatik |
Enthalten in den Sammlungen: | Projektgruppenberichte |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
pg437.eb.pdf | DNB | 5.22 MB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org