Institute of Applied Information Processing and Communications
Edit Page
Report
Scan day: 07 March 2014 UTC
11
Virus safety - good
Description: Part of the Faculty of Science, Graz University of Technology. Information for students and researchers, staff pages.
The SCoS group is looking at methods to make systems correct by construction. In particular, we are researching methods to automatically generate correct code and to correct ... Institute for Applied Information Processing and Communications
Size: 241 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | IAIK - TU Graz |
| Keywords: | |
| Description: | |
| IP-address: | 129.27.142.20 |