Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.

Mikols Janota, Victoria Kuzina, Andrzej Wasowski

Browse the full MODELS paper archive.