Search results for: Puri Arenas
Software Testing, Verification and Reliability > 28 > 3 > n/a - n/a
Lecture Notes in Computer Science > Programming Languages and Systems > Software Security and Verification > 294-310
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 377-391
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 113-132
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 385-399
Lecture Notes in Computer Science > Programming Languages and Systems > Session 5: Concurrency 2 > 238-254
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 397-414
Lecture Notes in Computer Science > Foundational and Practical Aspects of Resource Analysis > FOPARA 2009 > 1-17
Lecture Notes in Computer Science > Static Analysis > 100-116
Science of Computer Programming > 2015 > 111 > Part 3 > 483-504
Software Testing, Verification and Reliability > 25 > 3 > 218 - 271
Science of Computer Programming > 2014 > 92 > Part A > 2-24
Theoretical Computer Science > 2012 > 413 > 1 > 142-159
Electronic Notes in Theoretical Computer Science > 2011 > 279 > 1 > 3-17
Journal of Automated Reasoning > 2011 > 46 > 2 > 161-203