TY  - BOOK
TI  - High-Confidence Computing
SN  - 2667-2952
CY  - Netherlands
KW  -  Electronic computers. Computer science
KW  -  Instruments and machines
KW  -  Mathematics
KW  - Science
UR  - https://doaj.org/toc/f0ec63da9e154b879c54a9cd44a28d86
ER  -