TY - JFULL ID - 85744491 TI - High-Confidence Computing PY - SN - 26672952 PB - Netherlands Elsevier DB - UniCat KW - secure computing KW - precise computing KW - intelligent computing KW - software KW - algorithms KW - applications UR - https://www.unicat.be/uniCat?func=search&query=sysid:85744491 AB - ER -