Return to search

Towards a semantics bridge between structured specifications and logicspecifications

published_or_final_version / Computer Science / Master / Master of Philosophy

  1. 10.5353/th_b3121045
  2. b3121045
Identiferoai:union.ndltd.org:HKU/oai:hub.hku.hk:10722/32416
Date January 1992
Creators梁秉雄, Leung, Ping-hung, Karl Richard.
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Source SetsHong Kong University Theses
LanguageEnglish
Detected LanguageEnglish
TypePG_Thesis
Sourcehttp://hub.hku.hk/bib/B31210454
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.0023 seconds