Del 14095Verified Software. Theories, Tools and ExperimentsAndrew Reynolds, Serdar TasiranHäftad, 2024562 kr
Del 10747Verification, Model Checking, and Abstract InterpretationIsil Dillig, Jens PalsbergHäftad, 2018562 kr