Formal methods for components and objects: first international symposium, Leiden, the Nether… by Boer, Frank S. de, Roever, Willem-Paul de, FMCO, Leiden, FMCO 2002, Leiden), International Symposium on Formal Methods for Components and Objects, Leiden) fromTutorial 0 Type: Book
