Ada 95 as implementation vehicle for formal specifications

K. Brink, Jan van Katwijk, W. J. Toetenel. Ada 95 as implementation vehicle for formal specifications. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 98-105, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.