Cover Image
Read Now

1
by Dohi, Tadashi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
“... to formal methods and design, automatic software testing, software verification and validation, coalgebra...”