@@ -55,7 +55,7 @@ To get started with lazart, please consider the following guides and tutorials:
**2014**
* M-L. Potet, L. Mounier, M. Puys, "Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections" - _22014 IEEE Seventh International Conference on Software Testing, Verification and Validation_ , doi: 10.1109/ICST.2014.34.
* M-L. Potet, L. Mounier, M. Puys, "Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections" - _22014 IEEE Seventh International Conference on Software Testing, Verification and Validation_ , doi: 10.1109/ICST.2014.34.\[[PDF](https://hal.science/hal-02951150/document)\]
