Salsa

MaRDI QIDQ37169swMATHFDO

Official website https://link.springer.com/chapter/10.1007/3-540-46419-0_26

Cited in

(6)

• InVeSt
• Omega
• Ergo 6
• Model-based construction and verification of critical systems using composition and partial refinement
• scientific article; zbMATH DE number 1701750 (Why is no real title available?)
• Combating infinite state using Ergo

This page was built for software: Salsa