MoL-1997-03: Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming 1.Full Text, 2.Abstract. < Back