© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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):28-47, 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 = {28-47},
keywords = {},
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},
}