Return to search

Verification of program properties: from testing to semi-proving

published_or_final_version / Computer Science and Information Systems / Doctoral / Doctor of Philosophy

  1. 10.5353/th_b3124513
  2. b3124513
Identiferoai:union.ndltd.org:HKU/oai:hub.hku.hk:10722/35890
Date January 2003
CreatorsZhou, Zhiquan., 周智泉.
ContributorsTse, TH
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Source SetsHong Kong University Theses
LanguageEnglish
Detected LanguageEnglish
TypePG_Thesis
Sourcehttp://hub.hku.hk/bib/B31245134
RightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works., Creative Commons: Attribution 3.0 Hong Kong License
RelationHKU Theses Online (HKUTO)

Page generated in 0.0022 seconds