I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Logics for Software Engineering:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,
Schlingloff, Bernd-Holger ; Roggenbach, Markus ; Schneider, Gerardo. - p. 49-111 , 2022
Link: https://doi.org/10.1007/978-3-030-38800-3_2