Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.

Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao

Browse the full ISSRE paper archive.