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.

Proof Guidance in PVS with Sequential Pattern Mining

M. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger. Proof Guidance in PVS with Sequential Pattern Mining. In Hossein Hojjat, Mieke Massink, editors, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers. Volume 11761 of Lecture Notes in Computer Science, pages 45-60, Springer, 2019. [doi]

Authors

M. Saqib Nawaz

This author has not been identified. Look up 'M. Saqib Nawaz' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google

Philippe Fournier-Viger

This author has not been identified. Look up 'Philippe Fournier-Viger' in Google
runs on