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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

23 Downloads (Pure)

Fingerprint

Dive into the research topics of 'EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution)'. Together they form a unique fingerprint.

Computer Science