Design by Contract
Design by Contract Advanced Software Tools Seminar Alexander Freidin 2006 Defining Contracts on Method Call Sequences.
Automatic Implementation of provable cryptography for confidentiality and integrity Presented by Tamara Rezk – INDES project - INRIA Joint work with: Cédric.