Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
María Alpuente
,
Christophe Joubert
,
Byron Cook
Details
OL Work ID
OL27343561W
Find this book
Goodreads
Open Library