Merkliste 
 1 Ergebnisse 
 
1

Use and usability of software verification methods to detec..:

Koay, Kheng Lee ; Webster, Matt ; Dixon, Clare...
Paladyn, Journal of Behavioral Robotics.  12 (2021)  1 - p. 402-422 , 2021