DMCA

Crowdsourcing of Formally-Specified Computations

Cached

Download Links

by Ahmed Abdelmeged , Karl Lieberherr