Showing 1 - 4 results of 4 for search 'Boiten, Eerke', query time: 0.02s Refine Results
  1. 1
    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
  2. 2
    Refinement Semantics, Languages and Applications /
    Other Authors: “…Boiten, Eerke…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
    Published 2002
    Other Authors: “…Boiten, Eerke A.…”
    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: “…Boiten, Eerke A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search