KKK08.bib
KKK08.bib
—
Bibtex bibliographic data,
307 bytes
File contents
@InProceedings{KKK08,
author={M.~Kim and Y.~Kim and H.~Kim},
title="Unit Testing of Flash Memory Device Driver through a {S}{A}{T}-based Model Checker",
booktitle="IEEE/ACM Automated Software Engineering (ASE)",
pages="198--207",
year=2008,
month="September",
address="L'Aquila, Italy"
}
