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.

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations

Jan Toennemann, Adina Aniculaesei, Andreas Rausch. Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. In Everton Cavalcante, Francisco Dantas, Thaís Batista, editors, SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, Natal, Brazil, October 19-23, 2020. pages 60-68, ACM, 2020. [doi]

Authors

Jan Toennemann

This author has not been identified. Look up 'Jan Toennemann' in Google

Adina Aniculaesei

This author has not been identified. Look up 'Adina Aniculaesei' in Google

Andreas Rausch

This author has not been identified. Look up 'Andreas Rausch' in Google
runs on