Fatma Kachi, Chafia Bouanaka. Quality-driven Formal Modelling of the Travel Planner Application. In Faiza Belala, Fouzia Benchikha, Zizette Boufaïda 0001, Sahar Smaali, editors, Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, Constantine 2 University- Abdelhamid Mehri, Constantine, Algeria, March 10, 2022. Volume 3176 of CEUR Workshop Proceedings, pages 48-60, CEUR-WS.org, 2022. [doi]
Abstract is missing.