© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Refinement Strategy for Circus
A L C Cavalcanti, A C A Sampaio, and J C P Woodcock
Formal Aspects of Computing, 15(2-3):182-196, 2003.Bibtex Record
@article{1792,
author = {A L C Cavalcanti and A C A Sampaio and J C P Woodcock},
title = {{A Refinement Strategy for Circus}},
month = {unknown},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1792},
publication_type = {article},
submission_id = {3080_1076323640},
journal = {Formal Aspects of Computing},
volume = {15},
number = {2-3},
}