본문

  1. Home
2 Results:SS:SEPARATIONLOGIC 0.31 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
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
Preview
Местоположение
2
Compositional and Automated Verification of Distributed Systems
Compositional and Automated Verification of Distributed Systems
Wilcox, James R. | University of Washington | 2021
Preview
Местоположение
처음1마지막