Formal specification and verification of a JVM and its bytecode verifier

Description

Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.

Links & Downloads

1. http://repositories.lib.utexas.edu/bitstream/handle/2152/2763/liuh22941.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/156812635
Date	January 1900
Creators	Liu, Hanbing,
Publisher	[Austin, Tex. : University of Texas Libraries,
Source Sets	OCLC
Language	English
Detected Language	English