Search results for: Xavier Rival
Software: Practice and Experience > 49 > 5 > 840 - 884
Computer Languages, Systems & Structures > 2017 > 47 > P1 > 104-129
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 362-377
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 272-300
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 41-55
Electronic Notes in Theoretical Computer Science > 2010 > 267 > 1 > 139-150
Formal Methods in System Design > 2009 > 35 > 3 > 229-264