Project Details
Person
Dr. Hitoshi Murai
Address
RIKEN Advanced Institute for Computational Science
7-1-26 Minatojima-minami-machi
Kobe 650-0047
Japan
-
As Cooperation Partner
-
Completed projects
-
MYX: MUST correctness checking for YML and XMP programs (Priority Programmes)
-
-
Completed projects
