Search results for: Swarup Mohalik
Lecture Notes in Computer Science > Computer Aided Verification > Session 5: Tools – Dynamic Verification > 204-208
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 153-168
Lecture Notes in Computer Science > FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 338-351
Software Testing, Verification and Reliability > 24 > 2 > 155 - 180
Journal of Logic, Language and Information > 2010 > 19 > 4 > 451-484
Distributed and Parallel Databases > 2007 > 21 > 2-3 > 145-165