Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Haxthausen Anne E. Heftet / 2023 / Engelsk
