Home › Authors › Frank S. de Boer 👤 Frank S. de Boer 2 books Books by Frank S. de Boer Formal methods for components and objects 2011 Formal Methods for Components and Objects Lecture Notes in Computer Science 2009