The Logic of UTP2
You are here
| Title | The Logic of UTP2 |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Butterfield A |
| Conference Name | 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium |
| Date Published | 2012 |
| Conference Location | Paris, France |
| URL | http://ulir.ul.ie/handle/10344/2601 |
