The following pages link to Sriram K. Rajamani (Q765512):
Displaying 27 items.
- (Q202465) (redirect page) (← links)
- Refining abstract interpretations (Q765513) (← links)
- Fair simulation (Q1854506) (← links)
- (Q2753756) (← links)
- (Q2769585) (← links)
- (Q2769592) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- Generalized lattice agreement (Q2933788) (← links)
- Summarizing procedures in concurrent programs (Q3452264) (← links)
- Verifiable Design of Asynchronous Software (Q3564023) (← links)
- (Q4472235) (← links)
- (Q4518901) (← links)
- (Q4531754) (← links)
- (Q4553257) (← links)
- (Q4778708) (← links)
- (Q4804894) (← links)
- (Q4817545) (← links)
- (Q4818798) (← links)
- Alternation for Termination (Q4930735) (← links)
- Types as models (Q5178897) (← links)
- (Q5190777) (← links)
- Compositional may-must program analysis (Q5255061) (← links)
- (Q5275390) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308422) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311470) (← links)
- Computer Aided Verification (Q5312903) (← links)
- Computer Aided Verification (Q5312934) (← links)
