Welcome!

This page is the main page for Programming by Contract and Introduction to Performance