Wyniki wyszukiwania dla: Alcino Cunha
IEEE Transactions on Software Engineering > 2017 > 43 > 7 > 615 - 640
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 331-352
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 221-236
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > Contributions > 1-18
Software & Systems Modeling > 2016 > 15 > 3 > 783-810
Software & Systems Modeling > 2015 > 14 > 1 > 5-25
Science of Computer Programming > 2011 > 76 > 6 > 516-539
Electronic Notes in Theoretical Computer Science > 2011 > 229 > 5 > 57-74
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 1 > 17-34
Electronic Notes in Theoretical Computer Science > 2003 > 86 > 3 > 1-15