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.

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

Simon Foster 0001, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff. Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs, 2019, 2019. [doi]

Authors

Simon Foster 0001

This author has not been identified. Look up 'Simon Foster 0001' in Google

Frank Zeyda

This author has not been identified. Look up 'Frank Zeyda' in Google

Yakoub Nemouchi

This author has not been identified. Look up 'Yakoub Nemouchi' in Google

Pedro Ribeiro

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

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google
runs on