Ključne besede: deductive verification, theorem proving, random forestsObjavljeno v RUP: 05.10.2023; Ogledov: 2038; Prenosov: 44 Celotno besedilo (426,81 KB)