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

Abstract

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