Jakstab: A Static Analysis Platform for Binaries (bibtex)
by Johannes Kinder, Helmut Veith
Reference:
Jakstab: A Static Analysis Platform for BinariesJohannes Kinder, Helmut VeithProceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, July 2008, Springer.
Bibtex Entry:
@inproceedings{KinderVeith-jakstabcav08,
  author = {Johannes Kinder and Helmut Veith},
  title = {Jakstab: A Static Analysis Platform for Binaries},
  month = {July},
  year = {2008},
  booktitle = {Proceedings of the 20th International Conference on Computer Aided   Verification (CAV 2008)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5123}
}
Powered by bibtexbrowser