UTPCalc - A calculator for UTP Predicates
You are here
| Title | UTPCalc - A calculator for UTP Predicates |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Butterfield A |
| Conference Name | The 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming |
| Date Published | 2017 |
| Conference Location | Iceland |
| URL | http://www.tara.tcd.ie/handle/2262/78680 |
