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.

Modular synthesis of verified verifiers of computation with STV algorithms

Milad K. Ghale, Dirk Pattinson, Michael Norrish. Modular synthesis of verified verifiers of computation with STV algorithms. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 85-94, IEEE / ACM, 2019. [doi]

Authors

Milad K. Ghale

This author has not been identified. Look up 'Milad K. Ghale' in Google

Dirk Pattinson

This author has not been identified. Look up 'Dirk Pattinson' in Google

Michael Norrish

This author has not been identified. Look up 'Michael Norrish' in Google
runs on