TY - BOOK AU - Jan Jürjens, Benjamin Livshits, Riccardo Scandariato TI - Engineering Secure Software and Systems SN - 978-3-642-36563-8 PY - 2013/// CY - Germany PB - Springer KW - Computer Science KW - Engineering Secure Software and Systems UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-36562-1 ER -