×
2025
Verification of the CVM algorithm with a New Recursive Analysis Technique.
[DOI]
Emin Karayel
,
Derek Khu
,
Kuldeep S. Meel
,
Yong Kiam Tan
,
Seng Joe Watt
Arch. Formal Proofs, 2025