Behavioral Contracts for Cooperative Scheduling

Published in Deductive Software Verification, 2020

Recommended citation: Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2020). Deductive Software Verification. LNCS 12345