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

by Marcelo F. Frias , Carlos G. Lopez Pombo , Mariano M. Moscato
Citations:2 - 1 self