Lógica de HoareLógica de HoareProbabilística Desveladacon aleatoriedad.Nuevos métodos para verificar programasLógica en InformáticaAvances en la Lógica de Hoare ProbabilísticaUna mirada más profunda al razonamiento sobre programas con elementos aleatorios.2025-07-25T06:09:54+00:00 ― 7 minilectura