Original language | English |
---|---|
Title of host publication | Proc of IEEE Inter. Conf. on Software Maintenance |
Publication status | Published - 1996 |
Reverse engineering concurrent programs using formal modelling and analysis
E. Younger, Z. Luo, K. Bennett, T. Bull
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution