Normal view MARC view ISBD view

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

Formal Methods for Industrial Critical Systems - Springer Springer 2022

ISBN: 9783031150081

Source: EBOOK