Software and systems safety：specification and verification

Corporate Authors: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany) (Marktoberndorf, Germany))
Group Author: Leuxner Christian.; Hoare C. A. R.; (Charles Antony Richard), 1934-; Broy M., 1949-
Published: IOS Press,
Publication Dates: c2011.
Call Number: TP311.5-532/S681/2010