From 95037f5b242c55fe8dc22e743ad22dba9c3d3d82 Mon Sep 17 00:00:00 2001
From: Quentin Rouland <quentin@qrouland.com>
Date: Wed, 20 Nov 2019 13:14:32 +0100
Subject: [PATCH] Typo

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 1ec34fa..0ba0158 100644
--- a/index.html
+++ b/index.html
@@ -257,7 +257,7 @@
                         <strong data-i18n="publications.conference"></strong>
                     </h3>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
-                        <strong>Quentin Rouland</strong> , Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. <a class="text-primary" href="https://doi.org/10.1109/ICECCS.2019.00033">A Formal Methods Approach to Security Requirements Specification and Verification</a>. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
+                        <strong>Quentin Rouland</strong>, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. <a class="text-primary" href="https://doi.org/10.1109/ICECCS.2019.00033">A Formal Methods Approach to Security Requirements Specification and Verification</a>. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1007/978-3-030-00856-7_13">Formalizing Reusable Communication Models for Distributed Systems Architecture</a>. International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.