314 followers
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
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers http://t.co/BeT8n0Agd2 #springerlink