Hoare Logic

ÑñûëêàÄàòàÎáúåì
â êá.
×èñëî ñòð.Ñïðàâêà
Background reading on Hoare Logic 2010 626 133 Mike Gordon