Vutbrmsr is a collection of .NET libraries providing basic framework for implementing tools for assisted and automated verification. This innitiative attempts to merge various successfull approaches within the .NET framework in order to provide possi
VERSION HISTORY
- Version N/A posted on 2011-08-08
Several fixes and updates - Version N/A posted on 2011-08-08
Program Details
- Category: Education > Other
- Publisher: vutbrmsr.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows