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