Incorporating Constraints to Software System Survivability Specification and Proof.

Yanjun Zuo

Browse the full TASE paper archive.