Formal Methods in System Design
Formal Methods in System Design > 2013 > 43 > 1 > 61-92
Formal Methods in System Design > 2013 > 43 > 1 > 1-28
Formal Methods in System Design > 2013 > 43 > 1 > 29-60
Formal Methods in System Design > 2013 > 43 > 1 > 93-120