@inproceedings{deploy164,
       booktitle = {Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems},
           title = {Challenges in Applying Formal Methods -- An SME View},
          author = {Mathieu Clabaut},
             url = {http://deploy-eprints.ecs.soton.ac.uk/164/},
        abstract = {This paper outlines past and foreseen challenges in applying
both classical B and event B to design safety related systems in an SME.
}
}

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