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.

An Outline Pattern Language for Z: Five Illustrations and Two Tables

Susan Stepney, Fiona A. C. Polack, Ian Toyn. An Outline Pattern Language for Z: Five Illustrations and Two Tables. In Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén, editors, ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Volume 2651 of Lecture Notes in Computer Science, pages 2-19, Springer, 2003. [doi]

Authors

Susan Stepney

This author has not been identified. Look up 'Susan Stepney' in Google

Fiona Polack

Identified as Fiona A. C. Polack

Ian Toyn

This author has not been identified. Look up 'Ian Toyn' in Google
runs on