Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
← Back to work

Works citing this work

1 works

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertationLogic, programming, and type systemsTSpace20000 citations
    ABI