Formal Methods and Software Engineering: 9th International Conference on Formal

Cooperative Design, Visualization, and Engineering: 9th International Conference

Model-Driven Engineering and Software Development: 6th International Conference,

Model-Driven Engineering and Software Development: 8th International Conference,

Model-Driven Engineering and Software Development: 7th International Conference,

Proceedings of the 9th International Conference on Computer Engineering and Netw

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011

Model-Driven Engineering and Software Development : 7th International Confere...