TitleUTPCalc - A calculator for UTP Predicates
Publication TypeConference Paper
Year of Publication2017
AuthorsButterfield A
Conference NameThe 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming
Date Published2017
Conference LocationIceland
URLhttp://www.tara.tcd.ie/handle/2262/78680