Author of the publication

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

, , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 541-546. Springer, (2023)