Frank S. de Boer · 5 obras en el catálogoObrasFormal methods for components and objectsFormal methods for components and objectsFormal Methods for Components and ObjectsFormal Methods for Components and Objects Lecture Notes in Computer ScienceVerification of Sequential and Concurrent Programs