Related papers: 1
Yongmei Liu
Institution: —
A hoare-style proof system for robot programs
Citations: 8 • 2002