The journal encourages submission of papers describing significant, automated or semi-automated formalization efforts in any area, including classical ...
確定！ 回上一頁
