PRINSYS

swMATH46702MaRDI QIDQ5972317FDOQ5972317

Author name not available (Why is that?)

Official website: https://www-i2.informatik.rwth-aachen.de/prinsys/

Cited In (2)

• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
• Aligator.jl

This page was built for software: PRINSYS