Space invading systems code (2008)

by C Calcagno, D Distefano, P W O’Hearn, H Yang
Venue:in: Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR’08, LNCS 5438