MPG.eBooks - Search Results - %22Italy%22

Cover Image

1

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on...

Published 2017

Springer International Publishing

“...This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...”