@unpublished{deploy314,
           month = {September},
            type = {Technical Report},
           title = {DEPLOY Training Evaluation Document},
          author = {Tuomas R{\"a}s{\"a}nen and Laura Nummila},
       publisher = {Space Systems Finland Ltd},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/314/},
        abstract = {Evaluation of the effort needed for an engineer with no experience in formal methods to become a competent user of Event-B. A full report for what was presented in the DEPLOY Plenary Meeting in Z{\"u}rich.}
}

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