© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Evaluation of the Simula Research Laboratory
M. Berzins, B. Gustafsson, S. Haridi, P.F. Linington, and C. Rolland
The Research Council of Norway, P.O. Box 2700 St Hanshaugen N-0131 Oslo, Norway, December 2004.Bibtex Record
@book{2060,
author = {M. Berzins and B. Gustafsson and S. Haridi and P.F. Linington and C. Rolland},
title = {Evaluation of the Simula Research Laboratory},
month = {December},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2060},
publication_type = {book},
submission_id = {15365_1110994463},
ISBN = {82-12-02017-7},
publisher = {The Research Council of Norway},
address = {P.O. Box 2700 St Hanshaugen N-0131 Oslo, Norway},
}