KiKi09.bib
KiKi09.bib
—
Bibtex bibliographic data,
372 bytes
File contents
@InProceedings{KiKi09,
author={M.~Kim and Y.~Kim},
title="Concolic Testing of the Multi-sector Read Operation for Flash Memory File System",
booktitle="Brazilian Symposium on Formal Methods (SBMF) Grand Challenge in Verified Software Track",
pages="251--265",
series={LNCS},
volume={5902},
year=2009,
month="August 19-21",
address="Gramado, Brazil"
}
