22
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/2695379 New Foundations for Z Article · April 1998 Source: CiteSeer CITATIONS 9 READS 11 2 authors: Martin C. Henson University of Essex 71 PUBLICATIONS 506 CITATIONS SEE PROFILE Steve Reeves The University of Waikato 154 PUBLICATIONS 1,109 CITATIONS SEE PROFILE All content following this page was uploaded by Steve Reeves on 02 November 2012. The user has requested enhancement of the downloaded file.

ResearchGate · New Foundations for Z Martin C. Henson and Steve Reeves Department Of Computer Science, University of Essex, England [email protected] fax: +44 1206 872788 Department

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

  • See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/2695379

    New Foundations for Z

    Article · April 1998

    Source: CiteSeer

    CITATIONS

    9READS

    11

    2 authors:

    Martin C. Henson

    University of Essex

    71 PUBLICATIONS   506 CITATIONS   

    SEE PROFILE

    Steve Reeves

    The University of Waikato

    154 PUBLICATIONS   1,109 CITATIONS   

    SEE PROFILE

    All content following this page was uploaded by Steve Reeves on 02 November 2012.

    The user has requested enhancement of the downloaded file.

    https://www.researchgate.net/publication/2695379_New_Foundations_for_Z?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_2&_esc=publicationCoverPdfhttps://www.researchgate.net/publication/2695379_New_Foundations_for_Z?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_3&_esc=publicationCoverPdfhttps://www.researchgate.net/?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_1&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Martin-Henson?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_4&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Martin-Henson?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_5&_esc=publicationCoverPdfhttps://www.researchgate.net/institution/University-of-Essex?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_6&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Martin-Henson?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_7&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Steve-Reeves?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_4&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Steve-Reeves?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_5&_esc=publicationCoverPdfhttps://www.researchgate.net/institution/The_University_of_Waikato?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_6&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Steve-Reeves?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_7&_esc=publicationCoverPdfhttps://www.researchgate.net/profile/Steve-Reeves?enrichId=rgreq-c89886f62fb9c537595016b4a9b13959-XXX&enrichSource=Y292ZXJQYWdlOzI2OTUzNzk7QVM6OTcyNDY3ODc5MzIxNzJAMTQwMDE5Njg0OTY1NQ%3D%3D&el=1_x_10&_esc=publicationCoverPdf

  • View publication statsView publication stats

    https://www.researchgate.net/publication/2695379