Lightweight formalization and validation of ORM models
From MaRDI portal
Publication:2348800
DOI10.1016/j.jlamp.2015.03.001zbMath1329.68170MaRDI QIDQ2348800
Amir Jahangard-Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi
Publication date: 15 June 2015
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.03.001
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software