Reverse engineering concurrent programs using formal modelling and analysis. / Younger, E.; Luo, Z.; Bennett, K.; Bull, T.

Proc of IEEE Inter. Conf. on Software Maintenance. 1996.

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

  • E. Younger
  • Z. Luo
  • K. Bennett
  • T. Bull
Original languageEnglish
Title of host publicationProc of IEEE Inter. Conf. on Software Maintenance
Publication statusPublished - 1996

ID: 1775282