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.

Patch Specifications via Product Programs

Cristian Cadar, Daniel Schemmel, Arindam Sharma. Patch Specifications via Product Programs. In 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. pages 39-43, IEEE, 2023. [doi]

Authors

Cristian Cadar

This author has not been identified. Look up 'Cristian Cadar' in Google

Daniel Schemmel

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

Arindam Sharma

This author has not been identified. Look up 'Arindam Sharma' in Google
runs on