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.

Formula Normalizations in Verification

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak. Formula Normalizations in Verification. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 398-422, Springer, 2023. [doi]

Authors

Simon Guilloud

This author has not been identified. Look up 'Simon Guilloud' in Google

Mario Bucev

This author has not been identified. Look up 'Mario Bucev' in Google

Dragana Milovancevic

This author has not been identified. Look up 'Dragana Milovancevic' in Google

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google
runs on