@article{798162,
      author = {O'Regan, Gerard},
      url = {http://library.usi.edu/record/798162},
      title = {Concise guide to formal methods : theory, fundamentals and  industry applications /},
      doi = {https://doi.org/10.1007/978-3-319-64021-1},
      recid = {798162},
      pages = {1 online resource (xix, 312 pages) :},
}