Conformance Relations Between Input/Output Languages.

Published in: Applicable Formal Methods for Safe Industrial Products (2023)