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