AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Article Details
Title:	AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
Article URLs:	https://doi.org/10.1145/3236024.3264588
Alternative Article URLs:
Authors:	Ferhat Erata	UNIT Information Technologies R&D
	Arda Goknil	University of Luxembourg
	Ivan Kurtev	Altran Netherlands
	Bedir Tekinerdogan	Wageningen University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://modelwriter.github.io/AlloyInEcore/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/ErataGKT18
Author Comments:

ACM Foundations of Software Engineering, FSE 2018