© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Testing Embedded C Programs
L Hatton
invited talk, Philips Research Labs, Eindhoven, April 2000 Also given by invitation to Japanese car industry colloquium, Tokyo.Bibtex Record
@misc{1280,
author = {L Hatton},
title = {{Testing Embedded C Programs}},
month = {April},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Also given by invitation to Japanese car industry colloquium, Tokyo},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1280},
publication_type = {misc},
submission_id = {2423_1000982828},
howpublished = {invited talk, Philips Research Labs, Eindhoven},
}