Skip to main content
AkademIndex

Products

For developers

AkademBasesoonOpen API for the ecosystem
Latin
English

TSpace

1 works

Repository

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertationLogic, programming, and type systemsTSpace20000 citations
    ABI