DMCA

Abstract FESCA 2005 Preliminary Version Parametric Performance Contracts for QML-specified Software Components

by Viktoria Firus , Steffen Becker