본문

  1. Home
1 Results:SS:FORMALVERIFICATION AA:SANCHEZ-STERN, ALEX. 0.78 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
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마지막