Verification, Model Checking, and Abstract InterpretationNeil Jones, Markus Müller-OlmHäftad, 2008558 kr
Disciplinary Literacy and Explicit Vocabulary Teaching: A whole school approach to closing the attainment gapKathrine MortimoreHäftad, 2020243 kr