본문

  1. Home
2 Results:SS:INTERACTIVETHEOREM 0.93 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Foreign Function Verification Through Metaprogramming
Foreign Function Verification Through Metaprogramming
Korkut, Joomy. | Princeton University | 2024
미리보기
위치정보
2
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Sanchez-Stern, Alex. | University of California, San Diego | 2021
미리보기
위치정보
처음1마지막