Showing 1 - 7 results of 7 for search 'Ireland, Andrew', query time: 0.07s Refine Results
  1. 1
    'Conditions of time and space' : a re-enactment experiment with the British TV series Doctor Who
    by Ireland, Andrew
    Published 2012
    Get full text
  2. 2
    Mechanization of program construction in Martin-Loef's theory of types
    by Ireland, Andrew
    Published 1989
    Get full text
  3. 3
    Reasoned modelling critics: turning failed proofs into modelling guidance
    Get fulltext
    Article
  4. 4
    An integrated approach to high integrity software verification
    by Ellis, William James
    Published 2010
    Other Authors: “...Ireland, Andrew...”
    Get full text
  5. 5
    Reasoning about correctness properties of a coordination programming language
    by Grov, Gudmund
    Published 2009
    Other Authors: “...Ireland, Andrew : Michaelson, Greg...”
    Get full text
  6. 6
    A rigorous approach to combining use case modelling and accident scenarios
    by Murali, Rajiv
    Published 2016
    Other Authors: “...Ireland, Andrew ; Grov, Gudmund...”
    Get full text
  7. 7
    Invariant discovery and refinement plans for formal modelling in Event-B
    by Llano Rodriguez, Maria Teresa
    Published 2013
    Other Authors: “...Ireland, Andrew; Grov, Gudmund; Pooley, Robert J....”
    Get full text
Search Tools: Get RSS Feed — Email this Search