Super HN

   Contracts for C++ (DbC) [pdf] (isocpp.org) 1 point by xo5vik 3 minutes ago