TY - BOOK AU - Pierre Ganty AU - Mohamed Ka�niche TI - Verification and Evaluation of Computer and Communication Systems SN - 9783030350925 PY - 2019/// PB - Springer Nature KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-3-030-35092-5 ER -