LOOPUS
From MaRDI portal
Software:24616
Author name not available (Why is that?)
Related Items (2)
A versatile concept for the analysis of loops ⋮ Invariant functions and invariant relations: an alternative to invariant assertions
This page was built for software: LOOPUS
