Showing 1 - 6 results of 6 for search 'Hatcliff, John', query time: 0.02s Refine Results
  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
    by Hatcliff, John
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 2006
    Other Authors: “…Hatcliff, John…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 2008
    Other Authors: “…Hatcliff, John…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    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: “…Hatcliff, John…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 /
    Published 1999
    Other Authors: “…Hatcliff, John…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search