Avestan: a declarative modeling language based on SMT-LIB.

Amirhossein Vakili, Nancy A. Day

Browse the full ICSE paper archive.