Showing 1 - 2 results of 2 for search '"QA76 Computer software"', query time: 1.40s Refine Results
  1. 1
    An incremental refinement approach to a development of a flash-based file system in Event-B
    by Damchoom, Kriangsak
    Published 2010
    Subjects: “...QA76 Computer software...”
    Get full text
  2. 2
    Extending Event-B with discrete timing properties
    by Sarshogh, Mohammad Reza
    Published 2013
    Subjects: “...QA76 Computer software...”
    Get full text
Search Tools: Get RSS Feed — Email this Search