OOPCC

Thumbnail Image

Files

pg437.eb.pdf (5.1 MB)

Date

2005-02-09

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Universität Dortmund, Fachbereich Informatik

Alternative Title(s)

Object-Oriented Proof-Carrying Code

Abstract

Description

Table of contents

Keywords

Subjects based on RSWK

Citation

URI

http://hdl.handle.net/2003/21405
 http://dx.doi.org/10.17877/DE290R-12864

Collections

Projektgruppenberichte