Monter d'un niveau |
Hetier, G., & Boucheneb, H. (juillet 2018). On handling source code positions and local variables in LTL software model checking [Communication écrite]. 13th International Conference on Software Technologies (ICSOFT 2018), Porto, Portugal. Lien externe