Reverse engineering concurrent programs using formal modelling and analysis

E. Younger, Z. Luo, K. Bennett, T. Bull

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProc of IEEE Inter. Conf. on Software Maintenance
Publication statusPublished - 1996

Cite this