Regel: Sequenz

{V} P {M}, {M} Q {N}
--------------------
   {V} P ; Q {N}

Aufgabe: beweise

{ x = A und y = B }
x = x + y; y = x - y; x = x - y;
{ x = B und y = A }



Johannes Waldmann 2004-06-30