Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki. A mapping system from Object-Z to C++. In First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994. pages 220-228, IEEE, 1994. [doi]
@inproceedings{FukagawaHY94,
title = {A mapping system from Object-Z to C++},
author = {Masakazu Fukagawa and Teruo Hikita and Hiroshi Yamazaki},
year = {1994},
doi = {10.1109/APSEC.1994.465258},
url = {http://dx.doi.org/10.1109/APSEC.1994.465258},
researchr = {https://researchr.org/publication/FukagawaHY94},
cites = {0},
citedby = {0},
pages = {220-228},
booktitle = {First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994},
publisher = {IEEE},
isbn = {0-8186-6960-8},
}