Bi-abductive Resource Invariant Synthesis.

Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis

Browse the full APLAS paper archive.