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.

A transformational proof system for delta-oriented programming

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu. A transformational proof system for delta-oriented programming. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2. pages 53-60, ACM, 2012. [doi]

Authors

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Olaf Owe

This author has not been identified. Look up 'Olaf Owe' in Google

Johan Dovland

This author has not been identified. Look up 'Johan Dovland' in Google

Ina Schaefer

This author has not been identified. It may be one of the following persons: Look up 'Ina Schaefer' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Ingrid Chieh Yu

This author has not been identified. Look up 'Ingrid Chieh Yu' in Google
runs on