Title :
Executable Assertions - An Aid To Reliable Software
Keywords :
Fault detection; Fault tolerance; Programming profession; Projectiles; Protection; Testing; Upper bound;
Conference_Titel :
Circuits, Systems and Computers, 1977. Conference Record. 1977 11th Asilomar Conference on
DOI :
10.1109/ACSSC.1977.748932
