@book{ Solr-EB000616987, title = {Industrial-Strength Formal Methods in Practice}, series = {Formal Approaches to Computing and Information Technology (FACIT)}, editor = {Hinchey, Michael G.}, editor = {Bowen, Jonathan P.}, address = {London}, publisher = {Springer London}, year = {1999}, edition = {1st ed. 1999}, pages = {400}, isbn = {9781447105237}, url = {https://doi.org/10.1007/978-1-4471-0523-7?nosfx=y} }