Cristiano Calcagno, Dino Distefano, Peter W. O Hearn, Hongseok Yang. Space Invading Systems Code. In Michael Hanus, editor, Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Volume 5438 of Lecture Notes in Computer Science, pages 1-3, Springer, 2008. [doi]
Abstract is missing.