Search results for: Myla M. Archer
Automated Software Engineering > 2015 > 22 > 2 > 159-197
Formal Methods in System Design > 2010 > 37 > 2-3 > 265-294
Automated Software Engineering > 2015 > 22 > 2 > 159-197
Formal Methods in System Design > 2010 > 37 > 2-3 > 265-294