你即將離開本站

並前往https://arxiv.org/abs/2003.06458

QED at Large: A Survey of Engineering of Formally Verified ...

QED at Large: A Survey of Engineering of Formally Verified Software. Authors:Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary ...

確定！ 回上一頁

查詢 「Formally」的人也找了：

  1. formally中文
    2.
  2. Formerly
    3.
  3. Formally
    4.
  4. Formal version
    5.
  5. Formally officially
    6.
  6. Specially 中文
    7.
  7. Formality
    8.
  8. Arrange
    9.