Deductive Verification of Active Objects with Crowbar

Published in SCP, 2023

Recommended citation: Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2023). Sci. Comput. Program.. in press, Elsevier.