Showing 1 - 1 results of 1 for search '(("advanced computation in computing program") OR ("using computation of language programming"))~', query time: 1.40s Refine Results
1
Published 2016
... language using the Coq proof assistant....
Access document
Export CSV Export RIS