000 00243 a2200085 4500
020 _a978319640204
100 _aO'Regan, Gerard
245 _aConcise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
260 _bSpringer
_c2017
999 _c52004
_d52004