| 000 | 00392nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 210420s9999 xx 000 0 und d | ||
| 020 | _a26672952 | ||
| 020 | _a2667-2952 | ||
| 041 | _aeng | ||
| 245 | _aHigh-Confidence Computing | ||
| 260 | _bElsevier | ||
| 856 | _uhttps://www.sciencedirect.com/science/journal/26672952 | ||
| 906 |
_a2021-03-05 _g2021-03-05 _nFull text _oJournal _rFree-To-Read |
||
| 999 |
_c151157 _d151157 |
||