Search

You searched for: Auteur Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander. Remove constraint Auteur: Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.
1 entry found
Number of results to display per page

Search Results

1. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Author:
Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Publisher:
Springer International Publishing 2016
Format:
e-book