Model transformation specification for automated formal verification.
| Autor: | Sani, Asmiza Abdul, Polack, Fiona A. C., Paige, Richard F. |
|---|---|
| Zdroj: | 2011 5th Malaysian Conference in Software Engineering (MySEC); 2011, p76-81, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|