Scott D. Stoller, Willem Visser, editors, Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Volume 55 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001. [doi]
Conference: cav2001
@proceedings{cav-2001smc,
title = {Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/55/issue/3},
researchr = {https://researchr.org/publication/cav-2001smc},
cites = {0},
citedby = {0},
booktitle = {Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001},
conference = {cav},
editor = {Scott D. Stoller and Willem Visser},
volume = {55},
number = {3},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}