RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

First Page		Document Content
Date: 2017-06-06 20:45:42 Theoretical computer science Helmut Veith Formal methods TU Wien Institute for Applied Information Processing and Communications Software engineering Verification Formal verification Computing		RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering Add to Reading List Source URL: www.eziobartocci.com Download Document from Source Website File Size: 1,13 MB Share Document on Facebook