Transformational Derivation of a Bytecode Verifier

W. Dosch, S. Magnussen

OriginalspracheEnglisch
Seiten443-448
Seitenumfang6
PublikationsstatusVeröffentlicht - 2000
Veranstaltung15th International Conference on Computers and Their Applications - New Orleans, USA / Vereinigte Staaten
Dauer: 29.03.200031.03.2000

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress15th International Conference on Computers and Their Applications
KurztitelCATA'00
Land/GebietUSA / Vereinigte Staaten
OrtNew Orleans
Zeitraum29.03.0031.03.00

Zitieren