Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 3.
Conference or workshop item
| Derrick, John and Smith, Graeme (2004) Linear temporal logic and Z refinement. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology (AMAST 2004). Lecture Notes in Computer Science, 3116. Springer pp. 117-131. ISBN 3-540-22381-9. (doi:https://doi.org/10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bujorianu, Marius C. and Boiten, Eerke Albert (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9. (doi:https://doi.org/10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Thomas, Muffy and Watson, Phil (1992) Solving divergence in Knuth-Bendix completion by enriching signatures. In: Nivat, M. and Rattray, Charles and Rus, Teodor and Scollo, G., eds. Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991. Workshops in Computing. Springer Verlag pp. 377-390. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
