Overview
Book details: Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures by author Marcello M. Bonsangue, Published by Springer, in Paperback or Softback binding, 313 pages, ISBN 9783540921875