المؤلفون: Claire Dross, Jean-christophe Filliâtre, Yannick Moy, Inria Saclay Île-de-france, Université Paris-sud

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/77/76/83/PDF/dross11tap.pdf.

مصطلحات موضوعية: containers, iterators, verification by contracts, annotations, axiomatization, API usage verification, SMT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.2110; http://hal.inria.fr/docs/00/77/76/83/PDF/dross11tap.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.2110
http://hal.inria.fr/docs/00/77/76/83/PDF/dross11tap.pdf

المؤلفون: Claire Dross, Jean-christophe Filliâtre, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://proval.lri.fr/publications/dross11tap.pdf.

مصطلحات موضوعية: containers, iterators, verification by contracts, annotations, axiomatization, API usage verification, SMT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2650; http://proval.lri.fr/publications/dross11tap.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2650
http://proval.lri.fr/publications/dross11tap.pdf

المؤلفون: Claire Dross, Jean-christophe Filliâtre, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2011/01/main.long.pdf.

مصطلحات موضوعية: containers, iterators, verification by contracts, annotations, axiomatization, API usage verification, SMT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3311; http://www.open-do.org/wp-content/uploads/2011/01/main.long.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3311
http://www.open-do.org/wp-content/uploads/2011/01/main.long.pdf

المؤلفون: Claire Dross, Jean-christophe Filliâtre, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2011/06/Correct_Code_Containing_Containers.pdf.

مصطلحات موضوعية: containers, iterators, verification by contracts, annotations, axiomatization, API usage verification, SMT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3301; http://www.open-do.org/wp-content/uploads/2011/06/Correct_Code_Containing_Containers.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3301
http://www.open-do.org/wp-content/uploads/2011/06/Correct_Code_Containing_Containers.pdf