Integrating formal verification in an online judge for e-Learning logic circuit design.

Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit

Browse the full SIGCSE paper archive.