MBT 2013
Eighth Workshop on Model-Based Testing
March 17, 2013
Satellite workshop of
ETAPS 2013
