Etienne Kneuss, Manos Koukoutos, and Viktor Kuncak. Deductive program repair. In
Computer-Aided Verification (CAV)
, 2015.
[
bib
]
Back