I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Program slicing enhances a verification technique combining..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
Chebaro, Omar ; Kosmatov, Nikolai ; Giorgetti, Alain. - p. 1284-1291 , 2012
Link: https://dl.acm.org/doi/10.1145/2245276.2231980