KKL04.bib
KKL04.bib
—
Bibtex bibliographic data,
309 bytes
File contents
@article{KKL04,
author = {M.~Kim and S.~Kannan and I~.Lee and O.~Sokolsky and M.~Viswanathan},
title = "{J}ava-{M}a{C}: A Run-Time Assurance Approach for Java Programs",
journal = "Formal Methods in System Design (FMSD)",
volume=24,
number=2,
pages="129--155",
year="2004",
month="March"
}
