2020
Verifying object construction.
[DOI]
Martin Kellogg
,
Manli Ran
,
Manu Sridharan
,
Martin Schäf
,
Michael D. Ernst
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020