Derek Khu

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel 📧, Derek Khu 📧, Kuldeep S. Meel 📧, Yong Kiam Tan 📧 and Seng Joe Watt 📧