Search Results - Rewitzky, Ingrid Moira

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    Modelling the algebra of weakest preconditions by Rewitzky, Ingrid Moira

    Published 2017
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    A topological framework for program semantics by Rewitzky, Ingrid Moira

    Published 2024
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: