Showing 1 - 2 results of 2 for search 'Jim, Woodcock', query time: 0.09s Refine Results
  1. 1
    A refinement calculus for Z
    by Ana, Cavalcanti
    Published 1997
    Other Authors: “...Jim, Woodcock...”
    Get full text
  2. 2
    Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)
    by Ye, Kangfeng
    Published 2016
    Other Authors: “...Jim, Woodcock...”
    Get full text
Search Tools: Get RSS Feed — Email this Search