Verification of Model Transformations Using Isabelle/HOL and Scala.
Saved in:
| Title: | Verification of Model Transformations Using Isabelle/HOL and Scala. |
|---|---|
| Authors: | Meghzili, Said1, meghzili.said.1989@gmail.com, Chaoui, Allaoua1, a_chaoui2001@yahoo.com, Strecker, Martin2, Kerkouche, Elhillali1,3 |
| Source: | Information Systems Frontiers; Feb2019, Vol. 21 Issue 1, p45-65, 21p, 30 Diagrams |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
