172 followers
Our article "Slicing ATL model transformations for scalable deductive verification and fault localization" by @zcheng_ and @massimotisi to appear at Int. J. on Software Tools for Technology Transfer #STTT is now online: https://t.co/arT7Xmi1UX