Search results for: Ansuman Banerjee
IEEE Transactions on Software Engineering > 2017 > 43 > 12 > 1110 - 1124
Service Oriented Computing and Applications > 2017 > 11 > 1 > 47-63
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 228-233
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 222-227
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 3 > 370 - 383