High-Confidence Computing 

 - Netherlands  Elsevier 
<br/><br/><label>ISSN: </label>2667-2952 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Electronic computers. Computer science<br/> Instruments and machines<br/> Mathematics<br/>Science