Author:Alan Smaill

Publications
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors) EPiC Series in Computing, volume 17
Theory Exploration: a role for Model Theory? Alan Smaill In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation