<http://ns.inria.fr/covid19/PMC7324030#body_text>	<http://purl.org/dc/terms/subject>	"Software quality" .
<http://ns.inria.fr/covid19/PMC7324030#body_text>	<http://purl.org/dc/terms/subject>	"Free theorem provers" .
<http://ns.inria.fr/covid19/PMC7324030#body_text>	<http://purl.org/dc/terms/subject>	"Programming constructs" .