Addressing Dynamic Issues of Program Model Checking

Flavio Lerda, Willem Visser. Addressing Dynamic Issues of Program Model Checking. In Matthew B. Dwyer, editor, Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Volume 2057 of Lecture Notes in Computer Science, pages 80-102, Springer, 2001. [doi]

@inproceedings{LerdaV01,
  title = {Addressing Dynamic Issues of Program Model Checking},
  author = {Flavio Lerda and Willem Visser},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2057/20570080.htm},
  tags = {meta programming, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/LerdaV01},
  cites = {0},
  citedby = {0},
  pages = {80-102},
  booktitle = {Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings},
  editor = {Matthew B. Dwyer},
  volume = {2057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42124-6},
}