Provably trustworthy systems.

Klein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam.

Afiliação

Klein G; Data61, CSIRO, Sydney, Australia gerwin.klein@data61.csiro.au.
Andronick J; School of Computer Science and Engineering, UNSW, Sydney, Australia.
Keller G; Data61, CSIRO, Sydney, Australia.
Matichuk D; School of Computer Science and Engineering, UNSW, Sydney, Australia.
Murray T; Data61, CSIRO, Sydney, Australia.
O'Connor L; School of Computer Science and Engineering, UNSW, Sydney, Australia.

Philos Trans A Math Phys Eng Sci ; 375(2104)2017 Oct 13.

Article em En | MEDLINE | ID: mdl-28871053