KKC08.bib
KKC08.bib
—
Bibtex bibliographic data,
345 bytes
File contents
@InProceedings{KKC08,
author={M.~Kim and Y.Kim and Y.~Choi and H.Kim},
title="Pre-testing Flash Device Driver through Model Checking Techniques",
booktitle="IEEE International Conference on Software Testing, Verification and Validation (ICST)",
pages="475--484",
year=2008,
month="April 9-11",
address="Lillehammer, Norway"
}
