Keyword:StarExec

Publications
Towards StarExec in the Cloud David Fuenmayor, Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics