Orna Grumberg. Introduction: Special Issue on CAV 97. Formal Methods in System Design, 18(2):95, 2001.
@article{Grumberg01,
title = {Introduction: Special Issue on CAV 97},
author = {Orna Grumberg},
year = {2001},
researchr = {https://researchr.org/publication/Grumberg01},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {18},
number = {2},
pages = {95},
}