Normal view MARC view ISBD view

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen, Tim Willemse

Formal Methods for Industrial Critical Systems - Springer Springer 2019

ISBN: 9783030270087

Source: EBOOK