Formal methods for reliability

Reade, Chris and Froome, Peter (1990) Formal methods for reliability. In: Rook, Paul, (ed.) Software reliability handbook. London : Elsevier Applied Science. pp. 51-82. ISBN 1851664009

Full text not available from this archive.
Item Type: Book Section
Uncontrolled Keywords: Formal methods
Research Area: Computer science and informatics
Faculty, School or Research Centre: Faculty of Business and Law (until 2017)
Faculty of Business and Law (until 2017) > Kingston Business School (Informatics and Operations Management) (until July 2013)
Depositing User: Robert Elves
Date Deposited: 23 Sep 2008
Last Modified: 03 Aug 2010 14:54

Actions (Repository Editors)

Item Control Page Item Control Page