Showing 1 - 2 results of 2 for search '(("based computation from computation program") OR ("advanced functions in computing program"))~', query time: 1.49s Refine Results
1
Published 2016
... than being limited to low-level leaf functions, distinguishes ct-verif from prior tools. Our approach...
Access document
Export CSV Export RIS