Search

You searched for: Auteur Schlingloff, Bernd-Holger. Remove constraint Auteur: Schlingloff, Bernd-Holger.
1 - 3 of 3
Number of results to display per page

Search Results

1. Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
thumbnail
Full text!
Author:
Schlingloff, Bernd-Holger.; Skowron, Andrzej; Vogel, Thomas
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
2. Formal Methods for Software Engineering : Languages, Methods, Application Domains
thumbnail
Full text!
Author:
Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
thumbnail
Full text!
Author:
Bernd-Holger Schlingloff; Chai, Ming
Publisher:
Springer Nature 2022
Format:
e-book