Formal methods

Jonathan P. Bowen, Michael G. Hinchey

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

Original languageEnglish
Title of host publicationComputing Handbook
Subtitle of host publicationTwo-Volume Set
PublisherCRC Press
Pages1-25
Number of pages25
ISBN (Electronic)9781439898451
ISBN (Print)9781439898444
DOIs
Publication statusPublished - 30 May 2022

Cite this