TY  - GEN
T1  - Formal system verification state-of-the-art and future trends
A2  - Drechsler, Rolf
LA  - English
PP  - Cham
PB  - Springer International Publishing AG
YR  - 2018
UL  - https://tuklas.up.edu.ph/Record/UP-99796217613297928
SN  - 9783319576855 (online ISBN)
KW  - Computer systems : Verification.
KW  - Computer software : Verification.
KW  - Integrated circuits : Verification.
KW  - Electronic systems.
KW  - Electronic books.
ER  -