Chair of Software Engineering Software Verification Contracts, Trusted Components and Patterns Bertrand Meyer Manuel Oriol Till Bay ETH, Fall 2008 Chair.
Chair of Software Engineering Software Verification Bertrand Meyer Carlo A. Furia Sebastian Nanz ETH Zurich, Fall 2012 Chair of Software Engineering.
Software Verification Contracts, Trusted Components and Patterns