V.: Bi-abductive resource invariant synthesis (2009)

by C Calcagno, D Distefano, Vafeiadis
Venue:In: APLAS’09