@article{746603,
      recid = {746603},
      author = {Boulanger, Jean-Louis.},
      title = {Formal method industrial use from model to the code /  [electronic resource] :},
      publisher = {ISTE ;},
      address = {London :},
      pages = {xv, 357 p. :},
      year = {2012},
      url = {http://library.usi.edu/record/746603},
}