Transformational Derivation of a Bytecode Verifier.

TitleTransformational Derivation of a Bytecode Verifier.
Publication TypeJournal Article
Year of Publication2000
AuthorsDosch, W, Magnussen, S
Bibtex: 
@article {672,
	title = {Transformational Derivation of a Bytecode Verifier.},
	year = {2000},
	note = {In: A. Poetzsch-Heffter, J. Meyer (Hrsg): Programmiersprachen und Grundlagen der Programmierung. Kirchhundem-Heinsberg, 26.-30. September 1999. Informatik Berichte 263-1/2000. Hagen: FernUniversit{\"a}t Gesamthochschule Hagen 2000, 149-156},
	author = {W. Dosch and Magnussen, S.}
}