Yongmei Liu

1 ta ish

1. Hoare logic for GOLOG programs

   Yongmei Liu

   DissertatsiyaLogic, programming, and type systemsTSpace20000 iqtibos

   ABIABI:AkademIndex/openalex/2000.dissertation.000005