School of Computing

Keynote paper at WoCo7

Leslie Hatton

pages 182-196, sponsored by IEEE Computational Science and Engineering, Oxford, July 1996.

Bibtex Record

@inproceedings{780,
author = {Leslie Hatton},
title = {{Keynote paper at WoCo7}},
month = {July},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/780},
    address = {sponsored by IEEE Computational Science and Engineering, Oxford},
}

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

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

Last Updated: 21/03/2014