book

2010 Workshop on Model-Driven Engineering, Verification, and Validation

Published in 2010

Reference details