School of Computing

Keynote paper in EUROSTAR'96

Leslie Hatton

In Conference on Software Testing, Analysis and Review, pages 182-196, Amsterdam, December 1996.

Bibtex Record

@inproceedings{764,
author = {Leslie Hatton},
title = {{Keynote paper in EUROSTAR'96}},
month = {December},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/764},
    address = {Amsterdam},
    booktitle = {Conference on Software Testing, Analysis and Review},
}

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

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

Last Updated: 21/03/2014