Product Details

B Automatic Refinement Tool 1.0

 

Advertisement


The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.
B Automatic Refinement Tool is a completely free software. You can free download and use it as long as you like.


 

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

GNU General Public License version 2.0 (GPLv2)


User Reviews: B AUTOMATIC REFINEMENT TOOL 1.0
 * 
 * 
     
 * 
related terms
Similar Download Catalog
 
a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z