Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Bernhard Steffen
,
Tiziana Margaria
Details
OL Work ID
OL29053503W
Find this book
Open Library