Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek
,
Dejan Ničković
Details
OL Work ID
OL27403058W
Find this book
Goodreads
Open Library