Toggle navigation
Home
People
Departments
Research
About
Login
Search
2011 Malaysian Conference in Software Engineering
Journal
Overview
Overview
publication venue for
Model transformation specification for automated formal verification
2011
