Deriving Programs by Reliability Enhancement.

Marwa Benabdelali, Lamia Labed Jilani

Browse the full ICSoft paper archive.