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 Derivation of Finite State Machines for Class Testing

Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper. Formal Derivation of Finite State Machines for Class Testing. In Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, editors, ZUM 98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Volume 1493 of Lecture Notes in Computer Science, pages 42-59, Springer, 1998.

Authors

Leesa Murray

This author has not been identified. Look up 'Leesa Murray' in Google

David A. Carrington

This author has not been identified. Look up 'David A. Carrington' in Google

Ian MacColl

This author has not been identified. Look up 'Ian MacColl' in Google

Jason McDonald

This author has not been identified. Look up 'Jason McDonald' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google
runs on