FoCaL

swMATH9352MaRDI QIDQ21335FDOQ21335

Author name not available (Why is that?)

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

Cited In (2)

• Invariants for the FoCaL language
• OpenAxiom

This page was built for software: FoCaL