File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

postgraduate thesis: Verification of program properties: from testing to semi-proving

TitleVerification of program properties: from testing to semi-proving
Authors
Advisors
Advisor(s):Tse, TH
Issue Date2003
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Citation
Zhou, Z. [周智泉]. (2003). Verification of program properties : from testing to semi-proving. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124513
DegreeDoctor of Philosophy
SubjectComputer programs - Testing.
Dept/ProgramComputer Science and Information Systems

 

DC FieldValueLanguage
dc.contributor.advisorTse, TH-
dc.contributor.authorZhou, Zhiquan.-
dc.contributor.author周智泉.-
dc.date.issued2003-
dc.identifier.citationZhou, Z. [周智泉]. (2003). Verification of program properties : from testing to semi-proving. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124513-
dc.languageeng-
dc.publisherThe University of Hong Kong (Pokfulam, Hong Kong)-
dc.relation.ispartofHKU Theses Online (HKUTO)-
dc.rightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.source.urihttp://hub.hku.hk/bib/B31245134-
dc.subject.lcshComputer programs - Testing.-
dc.titleVerification of program properties: from testing to semi-proving-
dc.typePG_Thesis-
dc.identifier.hkulb3124513-
dc.description.thesisnameDoctor of Philosophy-
dc.description.thesislevelDoctoral-
dc.description.thesisdisciplineComputer Science and Information Systems-
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.5353/th_b3124513-
dc.date.hkucongregation2003-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats