証明工学
#Fleeting_Notes
証明工学(proof engineering)、証明エンジニアリング
証明工学のサーベイ論文
[Ringer et al., 2019]
:
【2003.06458】 QED at Large: A Survey of Engineering of Formally Verified Software
確認用
Q. 証明工学
メモ
調査用
Google.icon
証明工学(日)
Google.icon
Proof engineering(英)
Wikipedia.icon
証明工学 - Wikipedia(日)
証明工学(検索) - Wikipedia(日)
Wikipedia.icon
Proof engineering - Wikipedia(英)
Proof engineering(検索) - Wikipedia(英)