Model Checking Softwarede Fabrizio Biondi, Thomas Given-Wilson, Axel LegayEdiciones (1)Model Checking Software (2019)Springer · ISBN 9783030309220
