Search results for: Carlos G. Lopez Pombo
Fundamenta Informaticae > 2019 > Vol. 166, nr 4 > 297--347
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures and Theorem Provers > 587-601
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 396-397
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 235-247
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 275-289
IEEE Transactions on Software Engineering > 2013 > 39 > 9 > 1283 - 1307
Journal of Logic and Algebraic Programming > 2006 > 66 > 2 > 161-184