Transformational Derivation of a Bytecode Verifier

W. Dosch, S. Magnussen

Original languageEnglish
Pages443-448
Number of pages6
Publication statusPublished - 2000
Event15th International Conference on Computers and Their Applications - New Orleans, United States
Duration: 29.03.200031.03.2000

Conference

Conference15th International Conference on Computers and Their Applications
Abbreviated titleCATA'00
Country/TerritoryUnited States
CityNew Orleans
Period29.03.0031.03.00

Cite this