Merkliste 
 1 Ergebnisse 
 
1

Reasoning about Non-Deterministic Observability and Hypothe..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Pham, Loc ; Son, Tran Cao ; Pontelli, Enrico - p. 957-964 , 2023