Showing 1 - 2 results of 2 for search 'Treharne, Helen', query time: 0.02s Refine Results
  1. 1
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings by Treharne, Helen

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  2. 2
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings by Derrick, John

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
    Other Authors:
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:

Search Tools: