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 Stepwise Approach to Linking Theories

Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock. A Stepwise Approach to Linking Theories. In Jonathan P. Bowen, Huibiao Zhu, editors, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Volume 10134 of Lecture Notes in Computer Science, pages 134-154, Springer, 2016. [doi]

Authors

Pedro Ribeiro

This author has not been identified. Look up 'Pedro Ribeiro' in Google

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on