DMCA

Alcoa: the alloy constraint analyzer

by Daniel Jackson , Ian Schechter , Ilya Shlyakhter
Venue:In Proceedings of the 22nd. International Conference on Software Engineering
Citations:140 - 11 self