© University of Kent - Contact | Feedback | Legal | FOI | Cookies
ArcAngel: a tactic language for refinement
M V M Oliveira, A L C Cavalcanti, and J C P Woodcock
Formal Aspects of Computing, 15(1):182-196, 2003 The full version of this work can be found in the Masters Thesis by M Oliveira.Bibtex Record
@article{1793,
author = {M V M Oliveira and A L C Cavalcanti and J C P Woodcock},
title = {{ArcAngel: a tactic language for refinement}},
month = {unknown},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {The full version of this work can be found in the Masters Thesis by M Oliveira},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1793},
publication_type = {article},
submission_id = {3374_1076324800},
journal = {Formal Aspects of Computing},
volume = {15},
number = {1},
}