No Abstract Available
Download Not Available

BibTex Entry

@article{Wellings2016,
 abstract = {},
 acmid = {2971578},
 address = {New York, NY, USA},
 author = {Wellings, A. J. and Cholpanov, V. and Burns, A.},
 doi = {10.1145/2971571.2971578},
 issn = {1094-3641},
 issue_date = {June 2016},
 journal = {Ada Lett.},
 link = {http://doi.acm.org/10.1145/2971571.2971578},
 month = {jul},
 number = {1},
 numpages = {12},
 pages = {51--62},
 publisher = {ACM},
 title = {Implementing Safety-Critical Java Missions in Ada},
 volume = {36},
 year = {2016}
}