DMCA

On A Chain of Transformations for Generating Alloy from NL Constraints

by Imran Sarwar Bajwa , Behzad Bordbar , Kyriakos Anastasakis , Mark Lee