© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Safety First
P.H. Welch
Occam User Group Newsletter, 12:182-196, January 1989.Bibtex Record
@article{248, author = {P.H. Welch}, title = {{Safety First}}, month = {January}, year = {1989}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1989/248}, author_ids = {phw}, journal = {Occam User Group Newsletter}, volume = {12}, }