Jonathan P. Bowen, Michael G. Hinchey. Formal Methods. In Teofilo F. Gonzalez, Jorge Diaz-Herrera, Allen Tucker, editors, Computing Handbook, Third Edition: Computer Science and Software Engineering. pages 71-25, CRC Press, 2014.
@incollection{BowenH14,
title = {Formal Methods},
author = {Jonathan P. Bowen and Michael G. Hinchey},
year = {2014},
researchr = {https://researchr.org/publication/BowenH14},
cites = {0},
citedby = {0},
pages = {71},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
editor = {Teofilo F. Gonzalez and Jorge Diaz-Herrera and Allen Tucker},
publisher = {CRC Press},
isbn = {978-1-43-989852-9},
}