Merkliste 
 1 Ergebnisse 
 
1

Monitoring with verified guarantees:

Baumeister, Jan ; Dauer, Johann C. ; Finkbeiner, Bernd.
International Journal on Software Tools for Technology Transfer.  25 (2023)  4 - p. 593-616 , 2023