Formal methods

Jonathan P. Bowen, Michael G. Hinchey

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationComputing Handbook, Third Edition
Subtitle of host publicationComputer Science and Software Engineering
PublisherCRC Press
Pages71-1-71-25
ISBN (Electronic)9781439898536
ISBN (Print)9781439898529
DOIs
Publication statusPublished - 1 Jan 2014

Cite this