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.

Bidirectional Certified Programming

Daisuke Kinoshita, Keisuke Nakano. Bidirectional Certified Programming. In Romina Eramo, Michael Johnson, editors, Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. Volume 1827 of CEUR Workshop Proceedings, pages 31-38, CEUR-WS.org, 2017. [doi]

Authors

Daisuke Kinoshita

This author has not been identified. Look up 'Daisuke Kinoshita' in Google

Keisuke Nakano

This author has not been identified. Look up 'Keisuke Nakano' in Google
runs on