© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Dependable Computing
R de Lemos, T da S Weber, and J B Camargo Jr, editors
volume 2847 of Lecture Notes in Computer Science. Proceedings of the First Latin American Symposium on Dependable Computing, Springer, October 2003.Bibtex Record
@proceedings{1786,
author = {},
title = {{Dependable Computing}},
month = {October},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1786},
publication_type = {proceedings},
submission_id = {3544_1075889170},
editor = {R de Lemos and T da S Weber and J B Camargo Jr},
ISBN = {3-540-20224-2},
volume = {2847},
series = {Lecture Notes in Computer Science},
organization = {Proceedings of the First Latin American Symposium on Dependable Computing},
publisher = {Springer},
}