Stem floyd$ (all stems)
2 papers:
- CASE-2012-LiuSJT #automation #hybrid #mobile
- A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation (HL, NS, SJ, KT), pp. 279–284.
- LICS-1986-Meyer #hoare #logic #semantics
- Floyd-Hoare Logic Defines Semantics: Preliminary Version (ARM), pp. 44–48.