School of Computing

The World isn't Software

S J Cook

Journal of Object-oriented Programming, 5(9):182-196, January 1994 Guest Editorial.

Bibtex Record

@article{1244,
author = {S J Cook},
title = {{The World isn't Software}},
month = {January},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Guest Editorial},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1244},
    publication_type = {article},
    submission_id = {29426_999254876},
    other_year = {1994},
    journal = {Journal of Object-oriented Programming},
    volume = {5},
    number = {9},
    publisher = {SIGS Publications},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014