LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Nate Foster and Philippa Gardner and Alan Schmitt and Gareth Smith and Peter Thieman and Tobias Wrigstad. Programming Languages Mentoring Workshop (PLMW 2013), Jan 2013, Rome, Italy. 2013
https://hal.inria.fr/hal-00799190
Contributeur : Jean-Christophe Filliâtre
<>
Soumis le : lundi 11 mars 2013 - 17:23:51
Dernière modification le : jeudi 5 avril 2018 - 12:30:22
Jean-Christophe Filliâtre. Deductive Program Verification. Nate Foster and Philippa Gardner and Alan Schmitt and Gareth Smith and Peter Thieman and Tobias Wrigstad. Programming Languages Mentoring Workshop (PLMW 2013), Jan 2013, Rome, Italy. 2013. 〈hal-00799190〉
