Alcoa: the alloy constraint analyzer

Cached

Download Links

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