Treffer: A program logic for bytecode
Title:
A program logic for bytecode
Authors:
Source:
Electronic Notes in Theoretical Computer Science, 141 (1)
Publisher Information:
Elsevier
Publication Year:
2005
Collection:
ETH Zürich Research Collection
Subject Terms:
Document Type:
Fachzeitschrift
article in journal/newspaper
Language:
English
Relation:
Availability:
Rights:
Metadata only
Accession Number:
edsbas.D6D34B81
Database:
BASE
Weitere Informationen
ISSN:1571-0661