First Page | Document Content | |
---|---|---|
Date: 2015-02-08 20:31:54Higher education Gernot Heiser Education L4 microkernel family Griffith University University of New South Wales University of Sydney University of Melbourne Formal verification Association of Commonwealth Universities NICTA Academia | ISSUE 35 | DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcaseAdd to Reading ListSource URL: www.nicta.com.auDownload Document from Source WebsiteFile Size: 1,40 MBShare Document on Facebook |