Vera++ has new home
Vera++, a programmable tool for verification and analysis of C++ code,
has changed the owner and was moved to the new home.
The original web page was here:
and the new home for the Vera++ project is now:
Please update your bookmarks.
Maciej Sobczak * http://www.inspirel.com
|All times are GMT. The time now is 08:22 PM.|
Powered by vBulletin®. Copyright ©2000 - 2014, vBulletin Solutions, Inc.
SEO by vBSEO ©2010, Crawlability, Inc.