B4Free

swMATH7085MaRDI QIDQ19143FDOQ19143

Author name not available (Why is that?)

Official website: http://www.b4free.com/index-en.php

Cited In (9)

• Incremental parametric development of greedy algorithms
• Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm
• TopSpin
• Z2sal
• Spin-to-Grape
• SymmSpin
• RAVEN
• Efficient approximate verification of B and Z models via symmetry markers
• LusSy

This page was built for software: B4Free