eLib Programme and related work in JISC raises issues about long term storage ... Co-operating members: SAS. Consortium of University Research Libraries ...
A High-Assurance Partitioned Development Environment. David Greve and Matthew Wilding ... Kestrel, Derivation Reasoning Systems. Formal Verification ...
Polar Ice Biome by Megan D'Avella and Teddy Raymond Location Location Location Regions covered in ice almost year round Includes much of the Arctic and Antarctic ...