LOOPUS

swMATH12690MaRDI QIDQ24616FDOQ24616

Author name not available (Why is that?)

Cited In (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