Patrice Godefroid. Model Checking for Programming Languages using Verisoft. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 174-186, 1997. [doi]
@inproceedings{Godefroid97:0,
title = {Model Checking for Programming Languages using Verisoft},
author = {Patrice Godefroid},
year = {1997},
doi = {10.1145/263699.263717},
url = {http://doi.acm.org/10.1145/263699.263717},
tags = {programming languages, meta programming, model checking, meta-model, modeling language, language modeling, programming, Meta-Environment},
researchr = {https://researchr.org/publication/Godefroid97%3A0},
cites = {0},
citedby = {0},
pages = {174-186},
booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}