TY - BOOK AU - Ant�nio Casimiro, Pedro M. Ferreira TI - Reliable Software Technologies � Ada-Europe 2018 PY - 2018/// PB - Springer KW - Computer Science UR - http://doi.org/10.1007/978-3-319-92432-8 UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-92432-8 ER -