Search results
2014 IEEE 23rd International WETICE Conference > 313 - 318
Formal Methods in System Design > 2012 > 40 > 2 > 147-169
2014 IEEE 23rd International WETICE Conference > 313 - 318
Formal Methods in System Design > 2012 > 40 > 2 > 147-169