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.

Model Checking DSL-Generated C Source Code

Martin Sulzmann, Axel Zechner. Model Checking DSL-Generated C Source Code. In Alastair F. Donaldson, David Parker, editors, Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Volume 7385 of Lecture Notes in Computer Science, pages 241-247, Springer, 2012. [doi]

Authors

Martin Sulzmann

This author has not been identified. Look up 'Martin Sulzmann' in Google

Axel Zechner

This author has not been identified. Look up 'Axel Zechner' in Google
runs on