Formal methods for reliability

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

Original language	English
Title of host publication	Software reliability handbook
Editors	Paul Rook
Place of Publication	London
Publisher	Elsevier Applied Science
Pages	51-82
ISBN (Print)	1851664009
Publication status	Published - Mar 1990
Externally published	Yes

Keywords

@inbook{1257fe97472f465a904a91f96e519610,

title = "Formal methods for reliability",

keywords = "Formal methods, Computer science and informatics",

author = "Chris Reade and Peter Froome",

year = "1990",

month = mar,

language = "English",

isbn = "1851664009",

pages = "51--82",

editor = "Paul Rook",

booktitle = "Software reliability handbook",

publisher = "Elsevier Applied Science",

}