Assertion: computer science | /r/HasProperty | snelting
Facets:
Source sentences:
text: “Program testing can be used to show the presence of bugs, but never to show their absence” (Dijkstra 1970: 7), introduces Popper’s (1959) principle of falsifiability into computer science (Snelting 1998).