Multiobjective Preexpectation Reasoning for Probabilistic Programs | Digital Library | PAMCET | PAMCET