Verified lightweight bytecode verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gerwin Klein, Tobias Nipkow. Verified lightweight bytecode verification. Concurrency - Practice and Experience, 13(13):1133-1151, 2001.

@article{KleinN01,
  title = {Verified lightweight bytecode verification},
  author = {Gerwin Klein and Tobias Nipkow},
  year = {2001},
  researchr = {https://researchr.org/publication/KleinN01},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {13},
  number = {13},
  pages = {1133-1151},
}

runs on WebDSL