Exploring the design space of contract specifications for C++ Working Papers

Overview

authors

GARCIA SANCHEZ, JOSE DANIEL

publisher

ISO/IEC JTC1/SC22/WG21 Standards Committee

publication date

2014

series title

C++ Standard Working Document

series number

N4110