Engineering Abstractions in Model Checking and Testing

by Michael Achenbach and Klaus Ostermann

In Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM’09), 2009.

Citation as BibTeX

@inproceedings{achenbach09engineering,
  title = {Engineering Abstractions in Model Checking and Testing},
  author = {Achenbach, Michael and Ostermann, Klaus},
  booktitle = {Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM’09)},
  url = {http://www.informatik.uni-marburg.de/%7ekos/papers/scam09.pdf},
  year = {2009}
}