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