Overview
Book details: Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers by author Bernhard Beckert, Published by Springer, in Paperback or Softback binding, 356 pages, ISBN 9783642358869