Safety Kernels and the Ada Programming Language
A. Burns and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Burns1992b, abstract = {}, author = {A. Burns and A.J. Wellings}, booktitle = {Ada in Transition, Proceedings of 1992 Ada UK International Conference}, pages = {56-70}, title = {Safety Kernels and the Ada Programming Language}, year = {1992} }