Keyword: proof evaluation
Founded In: 2013
Published: Quarterly
Language: English
APC: $500
Indexed in ERIC & SCOPUS
CiteScore 2021 : 1.3