A formal transformation and refinement method for re-engineering concurrent programs. / Younger, E.; Bennett, K.; Luo, Z.

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

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

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

ID: 1775158