Verification, model checking, and abstract interpretationE. Allen Emerson2,49 €2 copias en stockAñadir al carrito
