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