Merkliste 
 1 Ergebnisse 
 
1

Inductive Validity Cores:

Ghassabani, Elaheh ; Whalen, Michael ; Gacek, Andrew.
IEEE Transactions on Software Engineering.  47 (2021)  2 - p. 279-299 , 2021