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.

Formal Specification and Refinement for an Interactive Web Example

Ingrid van Coppenhagen, Barry Dwolatzky. Formal Specification and Refinement for an Interactive Web Example. In José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, editors, WEBIST 2006, Proceedings of the Second International Conference on Web Information Systems and Technologies: Internet Technology / Web Interface and Applications, Setúbal, Portugal, April 11-13, 2006. pages 89-96, INSTICC Press, 2006.

Authors

Ingrid van Coppenhagen

This author has not been identified. Look up 'Ingrid van Coppenhagen' in Google

Barry Dwolatzky

This author has not been identified. Look up 'Barry Dwolatzky' in Google
runs on