Bi-abductive Resource Invariant Synthesis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10672-9_19 ◽

2009 ◽

pp. 259-274 ◽

Author(s):

Cristiano Calcagno ◽

Dino Distefano ◽

Viktor Vafeiadis

Download Full-text