314 followers
From UML and OCL to Relational Logic and Back http://t.co/1erlVJLUb5 #springerlink
From UML and OCL to Relational Logic and Back http://t.co/1erlVJLUb5 #springerlink
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers http://t.co/BeT8n0Agd2 #springerlink
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers http://t.co/BeT8n0Agd2 #springerlink
Bottom-up meta-modelling http://t.co/YEDlocERyw