FoCaL

MaRDI QIDQ21335swMATHFDO

Official website http://focalize.inria.fr/

Cited in

(2)

• OpenAxiom
• Invariants for the FoCaL language

This page was built for software: FoCaL