LOOPUS

swMATH12690MaRDI QIDQ24616FDOQ24616

Author name not available (Why is that?)

Official website: http://forsyte.at/software/loopus/

Cited In (4)

• A versatile concept for the analysis of loops
• Invariant functions and invariant relations: an alternative to invariant assertions
• Valigator
• DynaMate

This page was built for software: LOOPUS