Showing 1 - 1 results of 1 for search 'Duong Dinh Tran', query time: 0.03s Refine Results
  1. 1
    Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
    by Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata
    Published 2021-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search