Search results for: Elizabeth I. Leonard
Automated Software Engineering > 2015 > 22 > 2 > 159-197
Formal Methods in System Design > 2010 > 37 > 2-3 > 265-294
Higher-Order and Symbolic Computation > 2003 > 16 > 1-2 > 63-92
Automated Software Engineering > 2015 > 22 > 2 > 159-197
Formal Methods in System Design > 2010 > 37 > 2-3 > 265-294
Higher-Order and Symbolic Computation > 2003 > 16 > 1-2 > 63-92