Extensions to the C Programming Language for Enhanced Fault Detection (1993)

by David W. Flater, Yelena Yesha, E. K. Park
Venue:Software -- Practice and Experience