Showing 1 - 2 results of 2 for search 'Heike Wehrheim', query time: 0.02s Refine Results
  1. 1
    A CSP Account of Event-B Refinement

    A CSP Account of Event-B Refinement by Heike Wehrheim, Helen Treharne, Steve Schneider

    Published 2011-06-01
    Get full text
    Article
  2. 2
    Modularising Verification Of Durable Opacity

    Modularising Verification Of Durable Opacity by Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

    Published 2022-07-01
    Get full text
    Article

Search Tools: