Transformational Derivation of a Bytecode Verifier.
| Title | Transformational Derivation of a Bytecode Verifier. |
| Publication Type | Journal Article |
| Year of Publication | 2000 |
| Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {670,
title = {Transformational Derivation of a Bytecode Verifier.},
year = {2000},
note = {In: S.Y. Shin (ed.): Proceedings of the 15th International Conference on Computers and Their Applications (CATA{\textquoteright}00). New Orleans, Louisiana, March 29-31, 2000. Cary, N.C.: International Society For Computers and Their Applications 2000, 443-448 [ISBN 1-880843-32-3]},
author = {W. Dosch and Magnussen, S.}
}