Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).

Wed, 01 Jan 2025 00:00:00 +0100

Csanád Telbisz , Levente Bajczi , Dániel Szekeres , András Vörös :
Theta: Various Approaches for Concurrent Program Verification (Competition Contribution). TACAS (3) 2025: 260-265