Showing 1 - 2 results of 2 for search 'Salehi Fathabadi, Asieh', query time: 0.02s Refine Results
  1. 1
    A systematic approach to atomicity decomposition in Event-B
    Get fulltext
    Article
  2. 2
    Language and tool support for event refinement structures in Event-B
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search