AProVE

Analysis of Functional Program (AProVE)

Accepted file formats: fp

Version Termcomp2020
Disclaimer