Back to Results
First PageMeta Content
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

Document Date: 2017-06-06 20:45:42

Open Document

File Size: 1,13 MB

Share Result on Facebook