Introduction: Special Issue on CAV '97

@article{Grumberg2001IntroductionSI,
  title={Introduction: Special Issue on CAV '97},
  author={Orna Grumberg},
  journal={Formal Methods in System Design},
  year={2001},
  volume={18},
  pages={95}
}