Context-aware Trace Contracts

Published in AOL, 2023

Recommended citation: Reiner Hähnle, Eduard Kamburjan, Marco Scaletta. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.