Search results for: Nicolas Rosner
Automated Software Engineering > 2019 > 26 > 2 > 379-416
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 396-397
IEEE Transactions on Software Engineering > 2015 > 41 > 7 > 639 - 660
IEEE Transactions on Software Engineering > 2013 > 39 > 9 > 1283 - 1307