KKC12.bib
KKC12.bib
—
Bibtex bibliographic data,
275 bytes
File contents
@article{KKC12,
author = {M.~Kim and Y.~Kim and Y.~Choi},
title = "Concolic Testing of the Multi-sector Read Operation for Flash Storage Platform Software",
journal = "Formal Aspects of Computing (FACJ)",
note = {To appear}
volume=24,
number=2,
year="2012"
}
