| Original language | English |
|---|---|
| Title of host publication | Proc of IEEE Inter. Conf. on Software Maintenance |
| Publication status | Published - 1997 |
A formal transformation and refinement method for re-engineering concurrent programs
E. Younger, K. Bennett, Z. Luo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution