Sciweavers

15779 search results - page 250 / 3156
» Change-oriented software engineering
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Alcoa: the alloy constraint analyzer
Daniel Jackson, Ian Schechter, Ilya Shlyakhter