booktheque

Ichiro Hasuo

2 books in the database

Books

Coalgebraic Methods in Computer Science
Ichiro Hasuo · 2016
Safety Assurance under Uncertainties
Ichiro Hasuo · 2024