Search

You searched for: Auteur Knapp, Alexander Remove constraint Auteur: Knapp, Alexander
1 - 2 of 2
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
thumbnail
Full text!
Author:
Alexandre Madeira; Knapp, Alexander
Publisher:
Springer Nature 2024
Format:
e-book
2. 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