E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull. Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. In WCRE. pages 239-248, 1996. [doi]
@inproceedings{YoungerLBB96,
title = {Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis},
author = {E. J. Younger and Z. Luo and Keith H. Bennett and T. M. Bull},
year = {1996},
url = {http://computer.org/proceedings/wcre/7674/76740239abs.htm},
tags = {program analysis, meta programming, meta-model, reverse engineering, analysis, model-driven engineering, e-science, Meta-Environment},
researchr = {https://researchr.org/publication/YoungerLBB96},
cites = {0},
citedby = {0},
pages = {239-248},
booktitle = {WCRE},
}