Toggle navigation
Home
People
Departments
Research
About
Login
Search
2011 5th Malaysian Conference in Software Engineering (MySEC)
Conference
Scholarly Activity
Scholarly Activity
related documents
Model transformation specification for automated formal verification
Conferences