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}
}