@InProceedings{Liu02,
  Title                    = {A Hoare-Style Proof System for Robot Programs},
  Author                   = {Yongmei Liu},
  Booktitle                = {Proceedings of AAAI-02},
  Year                     = {2002},

  Address                  = {Edmonton, Canada},
  Month                    = {July},

  File                     = {hg.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/hg.pdf:PDF;hg.ps:http\://www.cs.toronto.edu/cogrobo/Papers/hg.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/hg.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {hg.pdf}
}

{"_id":{"_str":"53422950efd74afa09000030"},"__v":6,"authorIDs":["546374f34f4818cf4f0002ba"],"author_short":["Liu, Y."],"bibbaseid":"liu-ahoarestyleproofsystemforrobotprograms-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Hoare-Style Proof System for Robot Programs","author":[{"firstnames":["Yongmei"],"propositions":[],"lastnames":["Liu"],"suffixes":[]}],"booktitle":"Proceedings of AAAI-02","year":"2002","address":"Edmonton, Canada","month":"July","file":"hg.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/hg.pdf:PDF;hg.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/hg.ps:PostScript","key":"Liu02","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/hg.ps.gz","timestamp":"2018.09.23","url":"hg.pdf","bibtex":"@InProceedings{Liu02,\n Title = {A Hoare-Style Proof System for Robot Programs},\n Author = {Yongmei Liu},\n Booktitle = {Proceedings of AAAI-02},\n Year = {2002},\n\n Address = {Edmonton, Canada},\n Month = {July},\n\n File = {hg.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/hg.pdf:PDF;hg.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/hg.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/hg.ps.gz},\n Timestamp = {2018.09.23},\n Url = {hg.pdf}\n}\n\n","author_short":["Liu, Y."],"id":"Liu02","bibbaseid":"liu-ahoarestyleproofsystemforrobotprograms-2002","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/hg.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["hoare","style","proof","system","robot","programs","liu"],"title":"A Hoare-Style Proof System for Robot Programs","year":2002,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}