본문

  1. Home
2 Results:SS:SEPARATIONLOGIC 0.15 sec.
RSS 
Multilingual
 Erweiterte Suche
 Neuankömmling Buch suchen
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
Ortsangaben
2
Compositional and Automated Verification of Distributed Systems
Compositional and Automated Verification of Distributed Systems
Wilcox, James R. | University of Washington | 2021
Preview
Ortsangaben
처음1마지막