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 proceeding › Conference contribution
Published
| Original language | English |
|---|---|
| Title of host publication | Proc of IEEE Inter. Conf. on Software Maintenance |
| Publication status | Published - 1997 |
ID: 1775158