TY  - BOOK
TI  - High-Confidence Computing
SN  - 26672952
PB  - Elsevier
UR  - https://www.sciencedirect.com/science/journal/26672952
ER  -