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.

Panel Discussion on Formal Methods in Commercial Software Development Tools

Alessandro Fantechi, Alessio Ferrari. Panel Discussion on Formal Methods in Commercial Software Development Tools. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 4-6, Springer, 2008. [doi]

Authors

Alessandro Fantechi

This author has not been identified. Look up 'Alessandro Fantechi' in Google

Alessio Ferrari

This author has not been identified. Look up 'Alessio Ferrari' in Google
runs on