Travelled to:1 × Ireland
Collaborated with:D.Jackson I.Shlyakhter
Talks about:constraint (1) analyz (1) alloy (1) alcoa (1)
Person: Ian Schechter
DBLP: Schechter:Ian
Contributed to:
Wrote 1 papers:
- ICSE-2000-JacksonSS #alloy #constraints #named
- Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.












