Ichiro Hasuo

Books
Safety Assurance under Uncertainties Safety Assurance under Uncertainties
Safety Assurance under Uncertainties
2025
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2016