Formal methods

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Computing Handbook, Third Edition
Subtitle of host publication	Computer Science and Software Engineering
Publisher	CRC Press
Pages	71-1-71-25
ISBN (Electronic)	9781439898536
ISBN (Print)	9781439898529
DOIs	https://doi.org/10.1201/b16812
Publication status	Published - 1 Jan 2014

Access to Document

@inbook{129fe7caa0b24aee8a33fb5efce849c5,

title = "Formal methods",

author = "Bowen, \{Jonathan P.\} and Hinchey, \{Michael G.\}",

year = "2014",

month = jan,

day = "1",

doi = "10.1201/b16812",

language = "English",

isbn = "9781439898529",

pages = "71--1--71--25",

booktitle = "Computing Handbook, Third Edition",

publisher = "CRC Press",

}