Communication Dans Un Congrès
Année : 2011
Bow-Yaw Wang : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00648946
Soumis le : mardi 6 décembre 2011-16:11:40
Dernière modification le : mardi 26 mars 2024-16:24:04
Citer
Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011 - Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbruecken, Germany. pp.205-219, ⟨10.1007/978-3-642-19835-9⟩. ⟨hal-00648946⟩
1788
Consultations
0
Téléchargements