[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Symbolic Repairs for GR(1) Specifications
Maoz, Shahar, Ringert, Jan Oliver, Shalom, RafiYear:
2019
Language:
english
DOI:
10.1109/ICSE.2019.00106
File:
PDF, 398 KB
english, 2019