A Certified Lightweight Non-Interference Java Bytecode Verifier

AuthID
P-00Y-FMY
3
Author(s)
Pichardie, D
·
Rezk, T
1
Editor(es)
Nicola,RD
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
in Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings in Lecture Notes in Computer Science
Volume: 4421, Páginas: 125-140
Indexing
Publication Identifiers
DBLP: conf/esop/BarthePR07
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.