Peter B. Henderson. Abstraction, model checking and software correctness. ACM SIGCSE Bulletin, 40(2):23-24, 2008. [doi]
@article{Henderson08:0, title = {Abstraction, model checking and software correctness}, author = {Peter B. Henderson}, year = {2008}, doi = {10.1145/1383602.1383624}, url = {http://doi.acm.org/10.1145/1383602.1383624}, tags = {model checking, meta-model, abstraction, Meta-Environment}, researchr = {https://researchr.org/publication/Henderson08%3A0}, cites = {0}, citedby = {0}, journal = {ACM SIGCSE Bulletin}, volume = {40}, number = {2}, pages = {23-24}, }