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.