KCK08.bib
KCK08.bib
—
Bibtex bibliographic data,
307 bytes
File contents
@InProceedings{KCK08,
author={M.~Kim and Y.~Choi and Y~.Kim and H. Kim},
title="Formal Verification of a Flash Memory Device Driver - an Experience Report",
booktitle="Spin Workshop",
series={LNCS},
volume={5156},
pages="144--159",
year=2008,
month="August 10-12",
address="LA, USA"
}
