Zoeken

U zocht naar: Auteur Knapp, Alexander Filter Auteur: Knapp, Alexander weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
thumbnail
Full text!
Auteur:
Alexandre Madeira; Knapp, Alexander
Uitgever:
Springer Nature 2024
Type:
e-book
2. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Auteur:
Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Uitgever:
Springer International Publishing 2016
Type:
e-book