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

Actions (Repository Editors)

Item Control Page Item Control Page