Robust Assertions and Fail-Bounded Behavior

Paula Prata, Mário Zenha Rela, Henrique Madeira, João Gabriel Silva. Robust Assertions and Fail-Bounded Behavior. J. Braz. Comp. Soc., 10(3):20-32, 2005. [doi]

Authors

Paula Prata

This author has not been identified. Look up 'Paula Prata' in Google

Mário Zenha Rela

This author has not been identified. Look up 'Mário Zenha Rela' in Google

Henrique Madeira

This author has not been identified. Look up 'Henrique Madeira' in Google

João Gabriel Silva

This author has not been identified. Look up 'João Gabriel Silva' in Google