Search results for: Aysu Betin Can
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 337-346
The Journal of Systems & Software > 2015 > 108 > Complete > 148-177
Information and Software Technology > 2015 > 58 > Complete > 123-147
The Journal of Systems & Software > 2014 > 91 > Complete > 174-201
Information and Software Technology > 2013 > 55 > 8 > 1374-1396
IEEE Transactions on Services Computing > 2013 > 6 > 2 > 262 - 275
Knowledge-Based Systems > 2011 > 24 > 1 > 58-65
Computer Methods and Programs in Biomedicine > 2007 > 86 > 1 > 73-86
Automated Software Engineering > 2007 > 14 > 2 > 129-178
Empirical Software Engineering > 2007 > 12 > 4 > 417-444
Formal Aspects of Computing > 2007 > 19 > 2 > 243-268
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 3 > 464-479