An Institution for Alloy and Its Translation to Second-Order Logic.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa

Browse the full IRI paper archive.