Treffer: Verified Java Bytecode Verification

Title:

Verified Java Bytecode Verification

Authors:

Contributors:

The Pennsylvania State University CiteSeerX Archives

Source:

http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/klein.pdf.

Publication Year:

2003

Collection:

CiteSeerX

Document Type:

Fachzeitschrift text

File Description:

application/pdf

Language:

English

Relation:

Availability:

Rights:

Metadata may be used without restrictions as long as the oai identifier remains attached to it.

Accession Number:

edsbas.852AE383

Database:

BASE

genehmigten Dissertation. Doktors der Naturwissenschaften (Dr. rer. nat.) Vorsitzender

Links