Deep semantic links of TCSP and object-Z: TCOZ approach

10.1007/s001650200004

Saved in:
Bibliographic Details
Main Authors: Mahony, B., Dong, J.S.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40069
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40069
record_format dspace
spelling sg-nus-scholar.10635-400692015-01-09T02:28:32Z Deep semantic links of TCSP and object-Z: TCOZ approach Mahony, B. Dong, J.S. COMPUTER SCIENCE Integrated Formal Methods Object-Z TCOZ TCSP 10.1007/s001650200004 Formal Aspects of Computing 13 2 142-160 FACME 2013-07-04T07:55:57Z 2013-07-04T07:55:57Z 2002 Conference Paper Mahony, B.,Dong, J.S. (2002). Deep semantic links of TCSP and object-Z: TCOZ approach. Formal Aspects of Computing 13 (2) : 142-160. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/s001650200004" target="_blank">https://doi.org/10.1007/s001650200004</a> 09345043 http://scholarbank.nus.edu.sg/handle/10635/40069 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Integrated Formal Methods
Object-Z
TCOZ
TCSP
spellingShingle Integrated Formal Methods
Object-Z
TCOZ
TCSP
Mahony, B.
Dong, J.S.
Deep semantic links of TCSP and object-Z: TCOZ approach
description 10.1007/s001650200004
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Mahony, B.
Dong, J.S.
format Conference or Workshop Item
author Mahony, B.
Dong, J.S.
author_sort Mahony, B.
title Deep semantic links of TCSP and object-Z: TCOZ approach
title_short Deep semantic links of TCSP and object-Z: TCOZ approach
title_full Deep semantic links of TCSP and object-Z: TCOZ approach
title_fullStr Deep semantic links of TCSP and object-Z: TCOZ approach
title_full_unstemmed Deep semantic links of TCSP and object-Z: TCOZ approach
title_sort deep semantic links of tcsp and object-z: tcoz approach
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40069
_version_ 1681082204479815680