Search results for: Juan P. Galeotti
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 396-397
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
IEEE Transactions on Software Engineering > 2015 > 41 > 10 > 1019 - 1037
IEEE Transactions on Software Engineering > 2013 > 39 > 9 > 1283 - 1307