Bi-Abductive Resource Invariant Synthesis

by Cristiano Calcagno , Dino Distefano , Viktor Vafeiadis
Citations:9 - 3 self