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]
@inproceedings{BrinkKT96,
title = {Ada 95 as implementation vehicle for formal specifications},
author = {K. Brink and Jan van Katwijk and W. J. Toetenel},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/rtcsa/1996/7626/00/76260098abs.htm},
researchr = {https://researchr.org/publication/BrinkKT96},
cites = {0},
citedby = {0},
pages = {98-105},
booktitle = {Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea},
publisher = {IEEE Computer Society},
}