Model transformation specification for automated formal verification Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Sani, Asmiza Abdul
Polack, Fiona AC
Paige, Richard

status

published

publication date

December 2011

published in

2011 Malaysian Conference in Software Engineering Journal

presented at event

2011 5th Malaysian Conference in Software Engineering (MySEC) Conference