creators_name: Laibinis, Linas
creators_name: Troubitsyna, Elena
creators_name: Iliasov, Alexei
creators_name: Romanovsky, Alexander
creators_id: Linas.Laibinis@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: "Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>
creators_id: alexander.romanovsky@ncl.ac.uk
type: conference_item
datestamp: 2008-10-07 16:14:32
lastmod: 2010-04-19 15:05:50
metadata_visibility: show
title: Formal Refinement Automation
ispublished: unpub
subjects: deploy_method_comp
subjects: Refinement
full_text_status: public
pres_type: paper
date: 2008-10-01
event_title: Eighth International Workshop on Automated Verification of Critical Systems
event_location:  Glasgow
event_dates: 30 September –1 October 2008
event_type: workshop
refereed: TRUE
citation:   Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander  (2008) Formal Refinement Automation.  In: Eighth International Workshop on Automated Verification of Critical Systems, 30 September –1 October 2008,  Glasgow.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/33/1/iliavocs.pdf

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>