Saoith{\'ın: A Theorem Prover for UTP
You are here
| Title | Saoith{\'ın: A Theorem Prover for UTP |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Butterfield A |
| Editor | Shengchao Q |
| Conference Name | 3rd International Symposium UTP 2010 Unifying Theories of Programming3rd International Symposium UTP 2010 Unifying Theories of Programming |
| Date Published | 2010 |
| Publisher | Springer LNCS 6445 |
| Conference Location | Shanghai, China |
| URL | http://ulir.ul.ie/handle/10344/708 |
