Formal Methods Teachingde Brijesh Dongol, Luigia Petre, Graeme SmithEdiciones (1)Formal Methods Teaching (2019)Springer · ISBN 9783030324407Más obras de Brijesh DongolSSoftware Engineering for RoboticsSoftware Engineering for RoboticsIIntegrated Formal MethodsIntegrated Formal MethodsVer todas las obras de Brijesh Dongol →