![](/img/cover-not-exists.png)
[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Mining Temporal Properties of Data Invariants
Lemieux, CarolineYear:
2015
Language:
english
DOI:
10.1109/icse.2015.238
File:
PDF, 690 KB
english, 2015