© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Final report: Embedded occam/alpha demonstrator
P.H. Welch and M.D Poole
Technical report, Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, October 1996.Bibtex Record
@techreport{345, author = {P.H. Welch and M.D Poole}, title = {Final Report: Embedded occam/Alpha Demonstrator}, month = {October}, year = {1996}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1996/345}, address = {Canterbury, Kent, CT2 7NF}, institution = {Computing Laboratory, University of Kent at Canterbury}, }