A Language-Theoretic View of Verification

  • Kamal Lodaya
  • Published 2012 in Modern Applications of Automata Theory
Sorry, there's nothing here.

Cite this paper

@inproceedings{Lodaya2012ALV, title={A Language-Theoretic View of Verification}, author={Kamal Lodaya}, booktitle={Modern Applications of Automata Theory}, year={2012} }