Solver-based sketching of alloy models using test valuations

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Solver-based sketching of alloy models using test valuations'. Together they form a unique fingerprint.

Mathematics