Quiescent Formal Checks (QFC) for Detecting Deep Design Bugs – Sooner and Faster Author(s): Somesh Mishra, Mayank, Kumar, Ketan Mishra, Anshul Jain, Bharath Varma Gottumukkala Download
