External Links

Cite Key

Statistics

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

PDF

Tags

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.

Interleaving Symbolic Execution and Partial Evaluation

Richard Bubel, Reiner Hähnle, Ran Ji. Interleaving Symbolic Execution and Partial Evaluation. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 125-146, Springer, 2009. [doi]

Authors

Richard Bubel

This author has not been identified. Look up 'Richard Bubel' in Google

Reiner Hähnle

This author has not been identified. Look up 'Reiner Hähnle' in Google

Ran Ji

This author has not been identified. Look up 'Ran Ji' in Google
runs on