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