Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and

by Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp Paperback 2016