Ichiro HasuoBooksSafety Assurance under UncertaintiesCoalgebraic Methods in Computer ScienceAuthor data: Open Library