1 January 2020

The conference paper “Generation of Safety and Liveness Complaint Automata from Goal Model Specifications”, by Deb, N., Roy, M., Chaki, N., Cortesi, A., has just been published in “Proceedings - 16th European Dependable Computing Conference, EDCC 2020”! Available here.