Conference Papers
Year : 2013
Jean-Christophe Filliâtre : Connect in order to contact the contributor
https://inria.hal.science/hal-00799190
Submitted on : Monday, March 11, 2013-5:23:51 PM
Last modification on : Friday, March 24, 2023-2:52:56 PM
Dates and versions
Identifiers
- HAL Id : hal-00799190 , version 1
Cite
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⟩
236
View
0
Download