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