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.

Generating Domain-Specific Interactive Validation Documents

Fabian Vu, Christopher Happe, Michael Leuschel. Generating Domain-Specific Interactive Validation Documents. In Jan Friso Groote, Marieke Huisman, editors, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Volume 13487 of Lecture Notes in Computer Science, pages 32-49, Springer, 2022. [doi]

Authors

Fabian Vu

This author has not been identified. Look up 'Fabian Vu' in Google

Christopher Happe

This author has not been identified. Look up 'Christopher Happe' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google
runs on