Salsa

swMATH25430MaRDI QIDQ37169FDOQ37169

Author name not available (Why is that?)

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
• Combating infinite state using Ergo
• Title not available (Why is that?)

This page was built for software: Salsa