Skip to main content

Logic, programming, and type systems

5 works

  1. Hoare logic for GOLOG programs

    Yongmei Liu

    ABI