"PROOF as a Service on the Cloud: a Virtual Analysis Facility based on the ..."

Dario Berzano et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics