Integrating Formal Verification Within Programming Languages (INRIA de Rennes)

Media available in French only