title: Formal Refinement Automation
creator: Laibinis, Linas
creator: Troubitsyna, Elena
creator: Iliasov, Alexei
creator: Romanovsky, Alexander
subject: Composition and reuse
subject: Refinement
date: 2008-10-01
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/33/1/iliavocs.pdf
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/33/

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