@article{deploy160,
          volume = {LNCS 5},
           month = {October},
           title = {Industrial Practice in Formal Methods: a Review},
          author = {J. C.  Bicarregui and J. S.  Fitzgerald and P. G.  Larsen and J. C. P.  Woodcock},
       publisher = {Springer-Verlag},
            year = {2009},
         journal = {FM 2009: Formal Methods},
             url = {http://deploy-eprints.ecs.soton.ac.uk/160/},
        abstract = {We examine the the industrial application of formal methods
using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.}
}

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