Ada 95 as implementation vehicle for formal specifications.

Klaas Brink, Jan van Katwijk, W. J. Toetenel

Browse the full RTCSA paper archive.