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.

Applying a Formal Method in Industry: A 25-Year Trajectory

Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin. Applying a Formal Method in Industry: A 25-Year Trajectory. In Simone André da Costa Cavalheiro, José Luiz Fiadeiro, editors, Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Volume 10623 of Lecture Notes in Computer Science, pages 70-87, Springer, 2017. [doi]

Authors

Thierry Lecomte

This author has not been identified. Look up 'Thierry Lecomte' in Google

David Déharbe

This author has not been identified. Look up 'David Déharbe' in Google

Étienne Prun

This author has not been identified. Look up 'Étienne Prun' in Google

Erwan Mottin

This author has not been identified. Look up 'Erwan Mottin' in Google
runs on