Merkliste 
 1 Ergebnisse 
 
1

Early Validation and Verification of System Behaviour in Mo..:

Cederbladh, Johan ; Cicchetti, Antonio ; Suryadevara, Jagadish
ACM Transactions on Software Engineering and Methodology.  33 (2024)  3 - p. 1-67 , 2024