EPJ Web of Conferences

Distributed Online Judge System for Interactive Theorem Provers

Takahisa Mizuno and Shin-ya Nishizaki

EPJ Web of Conferences, 68 (2014) 00016

Published online: 28 March 2014

DOI: 10.1051/epjconf/20146800016

Takahisa Mizuno

Shin-ya Nishizaki

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)