Showing 1 - 6 results of 6 for search 'Derrick, John', query time: 0.03s Refine Results
  1. 1
    Refinement Semantics, Languages and Applications /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    by Derrick, John, Boiten, Eerke A.
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    Published 2007
    Other Authors: “…Derrick, John…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Other Authors: “…Derrick, John…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Derrick, John…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Derrick, John…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search