VirtualTam's bookmarks

  1. 2017-03-03
  2. 2017-03-02
  3. 2017-02-17
  4. Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.