Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

Marcelo F. Frias, Carlos Lpez Pombo, Mariano M. Moscato

Browse the full TACAS paper archive.