대구한의대학교 향산도서관

바구니

검색간략리스트

1.
E-Book
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs / Sanchez-Stern, Alex / University of California, San Diego. : ProQuest Dissertations & Theses / 004 / 2021 /