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.

Verifiable semantic difference languages

Thibaut Girka, David Mentré, Yann Régis-Gianas. Verifiable semantic difference languages. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 73-84, ACM, 2017. [doi]

Authors

Thibaut Girka

This author has not been identified. Look up 'Thibaut Girka' in Google

David Mentré

This author has not been identified. Look up 'David Mentré' in Google

Yann Régis-Gianas

This author has not been identified. It may be one of the following persons: Look up 'Yann Régis-Gianas' in Google
runs on