search menu icon-carat-right cmu-wordmark

PSPDC: An Adaptation of the PSP to Incorporate Verified Design by Contract

September 2012 Presentation
Diego Vallespir (Universidad de la República)

Presentation given at TSP Symposium on September 18-20, 2012

Publisher:

TSP Symposium

Subjects

This presentation was created for a conference series or symposium and does not necessarily reflect the positions and views of the Software Engineering Institute.

Abstract

Presentation given at TSP Symposium on September 18-20, 2012