E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis
ICSME, 1996.
@inproceedings{ICSM-1996-YoungerLBB,
author = "E. J. Younger and Z. Luo and Keith H. Bennett and T. M. Bull",
booktitle = "{Proceedings of the 12th International Conference on Software Maintenance}",
ee = "http://computer.org/proceedings/icsm/7677/76770255abs.htm",
isbn = "0-8186-7677-9",
pages = "255--264",
publisher = "{IEEE Computer Society}",
title = "{Reverse Engineering Concurrent Programs using Formal Modelling and Analysis}",
year = 1996,
}