Special issue on advances in reliable software technologies (AdaEurope20) | Publicación