Search results for: Srinivas Pinisetty
Journal of Systems and Software > 2017 > 132 > C > 353-365
Formal Methods in System Design > 2017 > 51 > 1 > 154-199
Science of Computer Programming > 2016 > 123 > C > 2-41
Formal Methods in System Design > 2014 > 45 > 3 > 381-422