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