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.

Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, Springer, 2002.

Conference: IFM2002

Editors

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

Luigia Petre

This author has not been identified. It may be one of the following persons: Look up 'Luigia Petre' in Google

Kaisa Sere

This author has not been identified. Look up 'Kaisa Sere' in Google
runs on