Formal Methods for Components and Objects Lecture Notes in Computer Science by Frank S. de Boer | Menrva Books | MenrvaBooks