Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias. Dynamite: A tool for the verification of alloy models based on PVS. ACM Transactions on Software Engineering Methodology, 23(2):20, 2014. [doi]
@article{MoscatoPF14,
title = {Dynamite: A tool for the verification of alloy models based on PVS},
author = {Mariano M. Moscato and Carlos López Pombo and Marcelo F. Frias},
year = {2014},
doi = {10.1145/2544136},
url = {http://doi.acm.org/10.1145/2544136},
researchr = {https://researchr.org/publication/MoscatoPF14},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {23},
number = {2},
pages = {20},
}