Was the paper 'NL2 Alloy: A Tool to Generate Alloy from NL Constraints' published in the year 2012?
Was the publication 'NL2 Alloy: A Tool to Generate Alloy from NL Constraints' published in the year 2012?
ASK { <https://dblp.org/rec/journals/jdim/BajwaBLA12> <https://dblp.org/rdf/schema#yearOfPublication> '2012' }
<https://dblp.org/rec/journals/jdim/BajwaBLA12>