Experiences with analysis of formal specifications in Astral.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Browse the full RTCSA paper archive.