Items where Author is "Bui Duy, Dang"
Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleTran Dinh, Duong and Bui Duy, Dang and Ogata, Kazuhiro Simulation-based invariant verification technique for the OTS/CafeOBJ method. IEEE Access . ISSN 2169-3536 |
