John E. Hopcroft, L. R. Kerr. Some Techniques for Proving Certain Simple Programs Optimal. In Conference Record of 1969 Tenth Annual Symposium on Switching and Automata Theory, 15-17 October 1969, Waterloo, Ontario, Canada. pages 36-45, IEEE, 1969.
No reviews for this publication, yet.