Gerard J. Holzmann, Rajeev Joshi, Alex Groce. Model driven code checking. Automated Software Engineering, 15(3-4):283-297, 2008. [doi]
@article{HolzmannJG08:1, title = {Model driven code checking}, author = {Gerard J. Holzmann and Rajeev Joshi and Alex Groce}, year = {2008}, doi = {10.1007/s10515-008-0033-9}, url = {http://dx.doi.org/10.1007/s10515-008-0033-9}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/HolzmannJG08%3A1}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering}, volume = {15}, number = {3-4}, pages = {283-297}, }