Search results for: Sandie Balaguer
Formal Methods in System Design > 2012 > 40 > 3 > 330-355
Formal Methods in System Design > 2010 > 37 > 2-3 > 200-264
Formal Methods in System Design > 2012 > 40 > 3 > 330-355
Formal Methods in System Design > 2010 > 37 > 2-3 > 200-264