© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modelmaker: A review
D.R. Morse
BES Bulletin, XXVIII(4):182-196, November 1995.Bibtex Record
@article{550, author = {D.R. Morse}, title = {ModelMaker: A review}, month = {November}, year = {1995}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1995/550}, ISSN = {0306 8307}, journal = {BES Bulletin}, number = {4}, volume = {XXVIII}, }