First Page | Document Content | |
---|---|---|
![]() Date: 2017-06-06 20:45:42Theoretical computer science Helmut Veith Formal methods TU Wien Institute for Applied Information Processing and Communications Software engineering Verification Formal verification Computing | Add to Reading List |