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.

Formal Methods and Their Future

Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes. Formal Methods and Their Future. In Franz Pichler, Roberto Moreno-Díaz, editors, Computer Aided Systems Theory - EUROCAST 93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings. Volume 763 of Lecture Notes in Computer Science, pages 180-189, Springer, 1993.

Authors

Gerry Musgrave

This author has not been identified. Look up 'Gerry Musgrave' in Google

Simon Finn

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

M. D. Francis

This author has not been identified. Look up 'M. D. Francis' in Google

R. Harris

This author has not been identified. Look up 'R. Harris' in Google

Roger B. Hughes

This author has not been identified. Look up 'Roger B. Hughes' in Google
runs on