Search alternatives:
shortcut » shortcuts
shortest » shorter
shorters » shorter, shooters, shortens
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Dijkstra’s Shortest Path Algorithm Verified with ACL2 -- Proof Pearl: Defining Functions over Finite Sets...”