velus

swMATH46095MaRDI QIDQ5974296FDOQ5974296

scientific article; zbMATH DE number Author name (Why is no real title available?)

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

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

(2)

• Normalising Lustre preserves security
• Lurette

This page was built for software: velus