Formal Methods in System Design
Formal Methods in System Design > 2010 > 37 > 2-3 > 95-140
Formal Methods in System Design > 2010 > 37 > 2-3 > 265-294
Formal Methods in System Design > 2010 > 37 > 2-3 > 171-199
Formal Methods in System Design > 2010 > 37 > 2-3 > 141-170
Formal Methods in System Design > 2010 > 37 > 2-3 > 200-264