Formal system verification state-of-the-art and future trends - Drechsler, Rolf; SpringerLink (Online service). (Cham Springer International Publishing AG, 2018)
Electronic reproduction.
Keywords: Computer systems -- Verification; Computer software -- Verification; Integrated circuits -- Verification; Electronic systems; Electronic books