Communication Dans Un Congrès
Année : 2013
Jean-Christophe Filliâtre : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00799190
Soumis le : lundi 11 mars 2013-17:23:51
Dernière modification le : lundi 12 février 2024-09:52:06
Dates et versions
Identifiants
- HAL Id : hal-00799190 , version 1
Citer
Jean-Christophe Filliâtre. Deductive Program Verification. Programming Languages Mentoring Workshop (PLMW 2013), Nate Foster and Philippa Gardner and Alan Schmitt and Gareth Smith and Peter Thieman and Tobias Wrigstad, Jan 2013, Rome, Italy. ⟨hal-00799190⟩
239
Consultations
0
Téléchargements