TY - BOOK AU - António Casimiro, Pedro M. Ferreira TI - Reliable Software Technologies – Ada-Europe 2018 SN - 978-3-319-92432-8 SN - 1611-3349 PY - 2018/// PB - Springer International Publishing UR - https://doi.org/10.1007/978-3-319-92432-8 UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-92432-8 ER -