Search results for: Abhik Roychoudhury
Empirical Software Engineering > 2018 > 23 > 5 > 2948-2979
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Software Optimization and Reliability > 458-469
Lecture Notes in Computer Science > Program Development in Computational Logic > Transformation and Specialisation > 261-290
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 226-241