Search results for: Claude Jard
Formal Methods in System Design > 2014 > 44 > 1 > 1-43
Formal Methods in System Design > 2013 > 43 > 3 > 493-519
Formal Methods in System Design > 2014 > 44 > 1 > 1-43
Formal Methods in System Design > 2013 > 43 > 3 > 493-519