Design of an Automatic Prover Dedicated to the Refinement of Database Applications.

Amel Mammar, Rgine Laleau

Browse the full FM paper archive.