Project Details
Person
Professor Dr. Taisuke Boku
Address
University of Tsukuba
Department of Computer Science
1-1-1 Tennodai
Tsukuba 305-8573
Japan
-
As Cooperation Partner
-
Completed projects
-
MYX: MUST correctness checking for YML and XMP programs (Priority Programmes)
-
-
Completed projects
