Formal specifications and reliability: an experimental study.

Amrit L. Goel, Swarupa N. Sahoo

Browse the full ISSRE paper archive.