Showing 1 - 3 results of 3 for search 'Hatcliff, John', query time: 0.02s Narrow Search
  1. 1
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    Published 2010
    Other Authors: “…Hatcliff, John…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    Published 2003
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
    Published 1999
    Other Authors: “…Hatcliff, John…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: