Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta. CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst., 28(1), January 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.