© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Structured Tasking in Ada?
P.H. Welch
Ada Letters, 5(1):182-196, July 1985.Bibtex Record
@article{240,
author = {P.H. Welch},
title = {{Structured Tasking in Ada?}},
month = {July},
year = {1985},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1985/240},
author_ids = {phw},
journal = {Ada Letters},
number = {1},
volume = {5},
}