velus

swMATH46095MaRDI QIDQ5974296FDOQ5974296

Author name not available (Why is that?)

Official website: https://velus.inria.fr

Source code repository: https://github.com/INRIA/velus

Cited In (2)

• Normalising Lustre preserves security
• Lurette

This page was built for software: velus