External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Space Invading Systems Code

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]

Authors

Cristiano Calcagno

This author has not been identified. Look up 'Cristiano Calcagno' in Google

Dino Distefano

This author has not been identified. Look up 'Dino Distefano' in Google

Peter W. O Hearn

This author has not been identified. Look up 'Peter W. O Hearn' in Google

Hongseok Yang

This author has not been identified. Look up 'Hongseok Yang' in Google
runs on