| # | List of Publication by Dr. Devleena Ghosh |
|---|---|
| 1 | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly and Ansuman Banerjee, Harnessing Multiple BMC Engines together for Efficient Formal Verification, 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), Hamburg, Germany, 2023 |
Created: 23 November 2019