External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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 Prospective-Value Semantics for the GSL

Frank Zeyda, Bill Stoddart, Steve Dunne. A Prospective-Value Semantics for the GSL. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 187-202, Springer, 2005. [doi]

Authors

Frank Zeyda

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

Bill Stoddart

This author has not been identified. Look up 'Bill Stoddart' in Google

Steve Dunne

This author has not been identified. Look up 'Steve Dunne' in Google
runs on