© 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}, }