Bibtex

Azzam Maraee, Eliran Nachmani, Arnon Sturm, Constraints Specification Via Tool Support: A Controlled Experiment

Back