Software Engineering and Formal Methodsde Einar Broch Johnsen, Ina SchaeferMateriasSoftware engineeringEdiciones (1)Software Engineering and Formal Methods (2018)Springer · ISBN 9783319929699Más obras de Einar Broch JohnsenFormal Methods for Open Object-Based Distributed Systems
