© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Static Analysis
L Hatton
In Erik van Veenendaal, editor, The Testing Practitioner, pages 182-196. Den Bosh, 2002.Bibtex Record
@incollection{1580, author = {L Hatton}, title = {{Static Analysis}}, month = {unknown}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1580}, publication_type = {incollection}, submission_id = {19130_1044524834}, ISBN = {90-72194-65-9}, booktitle = {The Testing Practitioner}, editor = {Erik van Veenendaal}, publisher = {Den Bosh}, }