Guest: Dr. Toby Murray

Dr. Toby Murray from NICTA is visiting MAIS on March 3 and 4. He is giving the talk "Building Highly-Secure Systems at Reasonable Cost - Branching Out with Formal Verification" in a special session of the MAIS Graduate Seminar in room E302 on March 3 at 16:00.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang