Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
A Formal Model to Prove Instantiation Termination for E-mat..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
7
The Prusti Project: Formal Verification for Rust:
, In:
?
2022 American Control Conference (ACC) ,
8
Improving Linear Separability of Pulse Wave Laser Additive ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Sound Automation of Magic Wands:
, In:
?
Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E ,
14
Reframing the Liskov substitution principle through the len..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
15