Concise Guide to Software VerificationAnton Wijs, Marieke HuismanInnbundetEngelskDel av serien Texts in Computer ScienceLegg i handlekurvNettlager