Cormac Flanagan, Shaz Qadeer. Transactions for Software Model Checking. Electronic Notes in Theoretical Computer Science, 89(3):518-539, 2003. [doi]
@article{FlanaganQ03:2, title = {Transactions for Software Model Checking}, author = {Cormac Flanagan and Shaz Qadeer}, year = {2003}, url = {http://www.elsevier.com/gej-ng/31/29/23/141/23/show/Products/notes/index.htt#010}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/FlanaganQ03%3A2}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {89}, number = {3}, pages = {518-539}, }