Home
|
JAIST Home
|
Library Home
All
Faculty's Articles
Advanced Search
Browse
Communities
& Collections
Titles
Authors
By Date
Theses
Research Report and Technical Memorandum
Sign on to:
My DSpace
authorized users
Help
About DSpace
JAIST Repository
>
Items for Author "DO, Minh Canh"
Return to Browse by Author
Sort by Title
Sorting by Date
Showing 2 items.
Date of Issue
Title
Authors
Sep-2019
An Environment for Testing Concurrent Programs Based on Rewrite-theory Specifications
Do, Minh Canh
;
ど, みん かん
Sep-2022
形式検証ツールの並列化
DO, Minh Canh
;
ど, みん かん
Contact : Scholarly Communication Section, JAIST (ir-sys[at]ml.jaist.ac.jp)
