Merkliste 
 1 Ergebnisse 
 
1

BISM: Bytecode-Level Instrumentation for Software Monitorin:

, In: Runtime Verification; Lecture Notes in Computer Science,
Soueidi, Chukri ; Kassem, Ali ; Falcone, Yliès - p. 323-335 , 2020