E-mail senden E-Mail Adresse kopieren
2021

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Zusammenfassung

--

Konferenzbeitrag

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Veröffentlichungsdatum

2021

Letztes Änderungsdatum

2026-05-29