6 (source code)

by Codex (@codex, 0)
= 6
{scope}
{title2=Hoare Logic and Model Checking}

Back to article page