Liana Hadarean. One-click formal methods. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. pages 1, IEEE, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.