ERDF
CONTACT US TODAY: +353 61 213 028

UTPCalc - A calculator for UTP Predicates

TitleUTPCalc - A calculator for UTP Predicates
Publication TypeConference Paper
Year of Publication2017
AuthorsButterfield, A
Conference NameThe 6th International Symposium on Unifying Theories of Programming
Date Published01/2017
Conference LocationIceland
URLhttp://www.tara.tcd.ie/handle/2262/78680
DOI10.1007/978-3-319-52228-9_10