MPG.eBooks - Search Results - (contraction or conception)

Search alternatives:
contraction » contribution

Cover Image

1

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based...”

Cover Image

2

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co...”