Search results for: Marcelo F. Frias
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 665-688
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures and Theorem Provers > 587-601
Studies in Fuzziness and Soft Computing > Relational Methods for Computer Science Applications > Relations in Programming > 37-58
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 > Abstract State Machines, Alloy, B and Z > Alloy Papers > 160-173
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Analysis > 207-225
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
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 91-105
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Modeling > 155-170
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 138-154
IEEE Transactions on Software Engineering > 2015 > 41 > 7 > 639 - 660