© University of Kent - Contact | Feedback | Legal | FOI | Cookies
C Language
Patrascoiu Octavian, Mitroi Nicolae, and Marian Gheorghe
Microcomputer Service Press, January 1994.Bibtex Record
@book{1684,
author = {Patrascoiu Octavian and Mitroi Nicolae and Marian Gheorghe},
title = {{C} {L}anguage},
month = {January},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1684},
publication_type = {book},
submission_id = {23213_1063098226},
other_year = {1994},
editor = {Microcomputer Service Press},
publisher = {Microcomputer Service Press},
}