Monter d'un niveau |
Letarte, D. (septembre 2010). Conversion of fast inter-procedural static analysis to model checking [Communication écrite]. IEEE 26th International Conference on Software Maintenance (ICSM 2010), Timisoara, Romania. Lien externe
Letarte, D. (septembre 2010). Model checking graph representation of precise boolean inter-procedural flow analysis [Communication écrite]. 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10, Antwerp, Belgium. Lien externe