Dan Jin, Zongyuan Yang. Strategies of Modeling from VDM-SL to JML. In Cheolyoung Ock, Jeongyong Byun, YuDe Bi, Hongfei Lin, editors, ALPIT 2008, Proceedings of The Seventh International Conference on Advanced Language Processing and Web Information Technology, Dalian University of Technology, Liaoning, China, 23-25 July 2008. pages 320-323, IEEE Computer Society, 2008. [doi]
@inproceedings{JinY08-0,
title = {Strategies of Modeling from VDM-SL to JML},
author = {Dan Jin and Zongyuan Yang},
year = {2008},
doi = {10.1109/ALPIT.2008.25},
url = {http://doi.ieeecomputersociety.org/10.1109/ALPIT.2008.25},
tags = {modeling},
researchr = {https://researchr.org/publication/JinY08-0},
cites = {0},
citedby = {0},
pages = {320-323},
booktitle = {ALPIT 2008, Proceedings of The Seventh International Conference on Advanced Language Processing and Web Information Technology, Dalian University of Technology, Liaoning, China, 23-25 July 2008},
editor = {Cheolyoung Ock and Jeongyong Byun and YuDe Bi and Hongfei Lin},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3273-8},
}