Showing 1 - 4 results of 4 for search 'Grov, Gudmund', query time: 0.03s Refine Results
  1. 1
    Reasoning about correctness properties of a coordination programming language
    by Grov, Gudmund
    Published 2009
    Get full text
  2. 2
    Reasoned modelling critics: turning failed proofs into modelling guidance
    Get fulltext
    Article
  3. 3
    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
  4. 4
    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