본문

  1. Home
2 Results:SS:SEPARATIONLOGIC 0.46 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Rely-Guarantee Semantics for Separation-Logic-Based Specification Extraction
Rely-Guarantee Semantics for Separation-Logic-Based Specification Extraction
He, Paul. | University of Pennsylvania | 2024
미리보기
위치정보
2
Compositional and Automated Verification of Distributed Systems
Compositional and Automated Verification of Distributed Systems
Wilcox, James R. | University of Washington | 2021
미리보기
위치정보
처음1마지막