BBlueBluede Alessandro AbateEdiciones (1)Blue (2018)Independently Published · inglés · ISBN 9781717747631Más obras de Alessandro AbateNumerical Software VerificationFormal Modeling and Analysis of Timed SystemsHybrid Systems Biology