Ian Schechter

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Daniel Jackson, Ian Schechter, Ilya Shlyakhter
Alcoa: the alloy constraint analyzer. ICSE (2000)