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.

Code-Centric Code Generation

Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen. Code-Centric Code Generation. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I. Volume 15219 of Lecture Notes in Computer Science, pages 340-355, Springer, 2024. [doi]

Authors

Daniel Busch

This author has not been identified. Look up 'Daniel Busch' in Google

Steven Smyth

This author has not been identified. Look up 'Steven Smyth' in Google

Tim Tegeler

This author has not been identified. Look up 'Tim Tegeler' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google
runs on