The conference attracted expert formalisers who presented new frameworks for verifying algorithms.
その会議には、アルゴリズムの検証のための新しい枠組みを発表した形式化の専門家たちが参加した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★