Sparkle-T

MaRDI QIDQ37161swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F11894100_6

Described by source

• Temporal Properties of Clean Programs Proven in Sparkle-T

Cited in

(2)

• Sparkle
• Proving composed specifications of Clean programs in Sparkle-T

This page was built for software: Sparkle-T