Merkliste 
 1 Ergebnisse 
 
1

Runtime verification of java programs for scenario-based sp..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,
Xuandong, Li ; Linzhang, Wang ; Xiaokang, Qiu... - p. 94-105 , 2006