Integrated Formal Methodsde Carlo A. Furia, Kirsten WinterMateriasSoftware engineeringSystem designEdiciones (1)Integrated Formal Methods (2018)Springer · ISBN 9783319989372Más obras de Carlo A. FuriaObjects, Models, Components, PatternsTests and ProofsVer todas las obras de Carlo A. Furia →