Showing 1 - 1 results of 1 for search 'Bundy, Alan ; Maclean, Ewen ; Gudmund, Grov', query time: 0.04s Refine Results
  1. 1
    Use of rippling to automate Event-B invariant preservation proofs
    by Lin, Yu Hui
    Published 2015
    Other Authors: “...Bundy, Alan ; Maclean, Ewen ; Gudmund, Grov...”
    Get full text
Search Tools: Get RSS Feed — Email this Search