Skip to main content
AkademIndex

Products

For developers

AkademBasesoonOpen API for the ecosystem
Latin
English
Dissertation

Hoare logic for GOLOG programs

Yongmei Liu
TSpacerepository2000uz
ABI

Abstract

grantor: University of Toronto

Topics

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification

Citations and references

Cited by 016 references
Metrics — AkademScholar · Coming soon