A framework for model transformation verification
From MaRDI portal
Publication:903517
DOI10.1007/s00165-014-0313-zzbMath1328.68128MaRDI QIDQ903517
Publication date: 6 January 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://shura.shu.ac.uk/12046/1/mtsem.pdf
model transformation verification; model transformation engineering; model transformation specification
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software