Transformation rules for Z
| Contribuinte(s) |
Downey, R Manyem, P |
|---|---|
| Data(s) |
2009
|
| Identificador | |
| Publicador |
Australian Computer Society Inc. |
| Relação |
Utting, Mark, Malik, Petra, & Toyn, Ian (2009) Transformation rules for Z. In Downey, R & Manyem, P (Eds.) Proceedings of the 15th Computing: The Australasian Theory Symposium, 20 - 23 January, 2009, New Zealand. |
| Palavras-Chave | #080200 COMPUTATION THEORY AND MATHEMATICS |
| Tipo |
Conference Paper |
