The KandISTI/UMC Online Open-Access Verification Framework.

Franco Mazzanti Alessio Ferrari Giorgio Oronzo Spagnolo

Published in: ERCIM News (2017)

Keyphrases

open access
information technology
conceptual framework
website
online learning
learning systems
model checking