Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:
, In:
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
2
ESBMC v7.3: Model Checking C++ Programs Using Clang AST:
, In:
?
Computer Algebra in Scientific Computing; Lecture Notes in Computer Science ,
4
Computer Science for Continuous Data: Survey, Vision, Theor..:
, In:
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
5
ESBMC-CHERI: towards verification of C programs for CHERI p..:
, In:
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
6
The ksmt Calculus Is a $$\delta $$-complete Decision Proced..:
, In:
?
Frontiers of Combining Systems; Lecture Notes in Computer Science ,
7