KKL01.bib
KKL01.bib
—
Bibtex bibliographic data,
314 bytes
File contents
@InProceedings{KKL01,
author={M.~Kim and S.~Kannan and I.~Lee and O.~Sokolsky and M.~Viswanathan},
title="{J}ava-{MaC}: a Run-time Assurance Tool for Java Programs",
booktitle="Runtime Verification (RV) (ENTCS vol 55 no 2)",
pages="218--235",
year=2001,
month="July 23",
address="Paris, France"
}
