| dc.contributor.author | Miller, T | |
| dc.contributor.author | Freitas, L | |
| dc.contributor.author | Malik, P | |
| dc.contributor.author | Utting, M | |
| dc.date.available | 2014-05-21T23:02:11Z | |
| dc.date.issued | 2005-01-01 | |
| dc.identifier.citation | Miller, T., Freitas, L., Malik, P. & Utting, M. (2005). CZT support for Z extensions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS, pp.227-245. Springer Berlin Heidelberg. https://doi.org/10.1007/11589976_14. | |
| dc.identifier.isbn | 3540304924 | |
| dc.identifier.isbn | 9783540304920 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/11343/29404 | |
| dc.publisher | Springer Berlin Heidelberg | |
| dc.source | 5th International Conference on Integrated Formal Methods | |
| dc.subject | Computer Software | |
| dc.title | CZT support for Z extensions | |
| dc.type | Conference Paper | |
| dc.identifier.doi | 10.1007/11589976_14 | |
| melbourne.peerreview | Peer Reviewed | |
| melbourne.affiliation | The University of Melbourne | |
| melbourne.affiliation.department | Computer Science and Software Engineering | |
| melbourne.source.title | Lecture Notes in Artificial Intelligence | |
| melbourne.source.volume | 3771 LNCS | |
| melbourne.source.pages | 227-245 | |
| dc.description.pagestart | 227 | |
| melbourne.publicationid | 122901 | |
| melbourne.elementsid | 309555 | |
| melbourne.contributor.author | Miller, Timothy | |
| dc.identifier.eissn | 1611-3349 | |
| melbourne.accessrights | This item is currently not available from this repository | |
