1. Eldorado
  2. Fakultäten
  3. 04 Fakultät für Informatik
  4. Projektgruppenberichte
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ößeFormat 
pg437.eb.pdfDNB5.22 MBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.

Zur Langanzeige


Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org