Sparkle-T

swMATH25422MaRDI QIDQ37161FDOQ37161

Author name not available (Why is that?)

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)

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

This page was built for software: Sparkle-T