File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Appears in Collections:
Conference Paper: Integrating object-oriented and formal specifications: a FOOD approach
Title | Integrating object-oriented and formal specifications: a FOOD approach |
---|---|
Authors | |
Issue Date | 1997 |
Citation | Proceedings of IT Congress '97, p. 187-192 How to Cite? |
Persistent Identifier | http://hdl.handle.net/10722/93307 |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2010-09-25T14:57:08Z | - |
dc.date.available | 2010-09-25T14:57:08Z | - |
dc.date.issued | 1997 | en_HK |
dc.identifier.citation | Proceedings of IT Congress '97, p. 187-192 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/93307 | - |
dc.language | eng | en_HK |
dc.relation.ispartof | Proceedings of IT Congress '97 | en_HK |
dc.title | Integrating object-oriented and formal specifications: a FOOD approach | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.identifier.hkuros | 23352 | en_HK |
dc.identifier.spage | 187 | en_HK |
dc.identifier.epage | 192 | en_HK |