"Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, ..."

Elvira Albert, Samir Genaim (2009)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics