researchgate · new foundations for z martin c. henson and steve reeves department of computer...

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.

Upload: others

Post on 29-Jan-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

  • 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