TY - BOOK AU - Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier TI - Computer Safety, Reliability, and Security SN - 9783319105574 PY - 2014/// PB - Springer KW - Logics and Meanings of Programs; Computer Systems Organization and Communication Networks; Software Engineering; Systems and Data Security UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-10556-7 ER -