Alcoa: the alloy constraint analyzer

Daniel Jackson, Ian Schechter, Ilya Shlyakhter. Alcoa: the alloy constraint analyzer. In ICSE. pages 730-733, 2000. [doi]

Abstract

Abstract is missing.