3 ms·
LTU has a good discussion on Fetzer's classic critique of program verification: http://lambda-the-ultimate.org/node/2783 http://lambda-the-ultimate.org/node/278
by osullivj 11y ago
LTU has a good discussion on Fetzer's classic critique of program verification: http://lambda-the-ultimate.org/node/2783 http://lambda-the-ultimate.org/node/2783