View in EDS HTML Full Text PDF Full Text

Verification of Model Transformations Using Isabelle/HOL and Scala.

Saved in:

Bibliographic Details
Title:	Verification of Model Transformations Using Isabelle/HOL and Scala.
Authors:	Meghzili, Said¹, meghzili.said.1989@gmail.com, Chaoui, Allaoua¹, a_chaoui2001@yahoo.com, Strecker, Martin², Kerkouche, Elhillali^1,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.

Description
ISSN:	13873326
DOI:	10.1007/s10796-018-9860-9