Hoare logic
Related papers: 1
Top Researchers
Top Institutes
Top Cited Papers
A hoare-style proof system for robot programs
Yongmei Liu
Citations: 8 • 2002
Related papers: 1
A hoare-style proof system for robot programs
Yongmei Liu
Citations: 8 • 2002