Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Automatic Review of Abstract State Machines by Meta Property Verification. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 4-13, 2010.
@inproceedings{ArcainiGR10-0, title = {Automatic Review of Abstract State Machines by Meta Property Verification}, author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene}, year = {2010}, researchr = {https://researchr.org/publication/ArcainiGR10-0}, cites = {0}, citedby = {0}, pages = {4-13}, booktitle = {Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings}, editor = {César Muñoz}, volume = {NASA/CP-2010-216215}, series = {NASA Conference Proceedings}, }