Showing 1 - 3 results of 3 for search 'Bowen, Jonathan Peter, 1956-', query time: 0.01s Refine Results
  1. 1

    ZUM '95... the Z formal specification notation : Proceedings /

    Published 1995
    Other Authors: “…Bowen, Jonathan Peter, 1956-…”
    Conference Proceeding Book
  2. 2

    Applications of formal methods /

    Published 1995
    Other Authors:
    Book
  3. 3

    ZUM'97 : the Z formal specification notation /

    Published 1997
    Other Authors: “…Bowen, Jonathan Peter, 1956-…”
    Conference Proceeding Book