Sparkle-T

swMATH25422MaRDI QIDQ37161FDOQ37161

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

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

Described by source

• Temporal Properties of Clean Programs Proven in Sparkle-T

(2)

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

This page was built for software: Sparkle-T