Showing 1 - 1 results of 1 for search '(("advanced computation in computing program") OR ("advanced computation from leaf programming"))~', query time: 2.08s 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