Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Stefan Kowalewski
,
Marco Roveri
Details
OL Work ID
OL27343500W
Find this book
Open Library