On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions.

Ievgen Ivanov, Mykola S. Nikitchenko

Browse the full ICTERI paper archive.