%0 Conference Paper %1 conf/apsec/FukagawaHY94 %A Fukagawa, Masakazu %A Hikita, Teruo %A Yamazaki, Hiroshi %B APSEC %D 1994 %I IEEE %K dblp %P 220-228 %T A mapping system from Object-Z to C++. %U http://dblp.uni-trier.de/db/conf/apsec/apsec1994.html#FukagawaHY94 %@ 0-8186-6960-8

@inproceedings{conf/apsec/FukagawaHY94, added-at = {2017-05-17T00:00:00.000+0200}, author = {Fukagawa, Masakazu and Hikita, Teruo and Yamazaki, Hiroshi}, biburl = {https://www.bibsonomy.org/bibtex/2b426f1ed11a936fc0c556c8c44387480/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/1994}, ee = {https://doi.org/10.1109/APSEC.1994.465258}, interhash = {ea5b5ec8bb1cc0d38d2a15b62db675d7}, intrahash = {b426f1ed11a936fc0c556c8c44387480}, isbn = {0-8186-6960-8}, keywords = {dblp}, pages = {220-228}, publisher = {IEEE}, timestamp = {2019-10-17T15:52:58.000+0200}, title = {A mapping system from Object-Z to C++.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1994.html#FukagawaHY94}, year = 1994 }