Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Probabilistic Program Verification via Inductive Synthesis ..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
5
The Prusti Project: Formal Verification for Rust:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
6
Foundations for Entailment Checking in Quantitative Separat..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Latticed k-Induction with an Application to Probabilistic P..:
, In:
?
Graph Transformation; Lecture Notes in Computer Science ,
13
Automated Checking and Completion of Backward Confluence fo..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
15