Title: Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
Subjects: System design, Object-oriented programming (computer science), Formal methods (Computer science), Congresses, Object-oriented programming (Computer science)