본문

  1. Home
  4. 소장자료검색
2 Results:SS:SEQUENTIALCONSISTENCY 0.79 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Correctness of Software Tools Under Weak Memory Models.
Correctness of Software Tools Under Weak Memory Models.
Liu, Shuyang.Computer Science 0201. | University of California, Los Angeles. | 2024
프린트
2
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
Banerjee, Subarno.Computer Science & Engineering. | University of Michigan. | 2021
프린트
처음1마지막