Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Allison Sullivan
Latest
Solver-Based Sketching of Alloy Models Using Test Valuations
Systematic Generation of Non-equivalent Expressions for Relational Algebra
Cite
×